分散型SNSのmastodonがmstdn.jpから流行し始めた4月中旬。
LaTeXの使えるインスタンスできないかなー, MathJax採用したらできるんじゃないかなー,
でもサーバー高いし自分でインスタンス立てるの難しそう……と思っていた矢先にできました。
mathtodonです。MathJaxがつかえるんですよー。
そんなこんなでアカウント作らせていただきました。
mathtod.online
ローカルタイムラインがね, いい雰囲気です。

記号論理学

3セメスターになってやっと大学生らしい授業が増えてきてとても楽しいです。
そのなかでも論理学おもしろい。対偶ってこれかーとなってます。
今までの一般教養で一番かも。1セメスターに開講してくれ……。

自然演繹法でやっていて, 記述の仕方はこのPDF(
http://home.hiroshima-u.ac.jp/akyah59/logic2/n_deduction.pdf
)が近いかな……。

mathtodonでいろいろ書きたいので, ちょっと記法をまとめておこうかなとおもいます。

記号法

\lnot %否定(negation)
\land %連言(conjuction)
\lor %選言(disjuction)
\to %条件法(conditional)
\models %断定記号

\forall %全称記号(universal quantifier)
\exists %存在記号(existential quantifier)

参考:
Easy Copy MathJax

表の書き方

\begin{array}{rlll}
\hline
1& (1)& P \to (Q \to R)& A \\
\hline
\end{array}

例題(01) $P \to (Q \to R), P \to Q, P \models R$
\begin{array}{rlll}
\hline
1& (1)& P \to (Q \to R)& A \\
2& (2)& P \to Q & A \\
3& (3)& P & A\\
1,3&(4)& Q \to R &(1)(3)MPP \\
2,3&(5)& Q &(2)(3)MPP \\
1,2,3&(6)& R &(4)(5)MPP \\
\hline
\end{array}

依存行の部分は右寄せ, それ以外は左寄せにしました。

参考:
TeX（LaTeX）の表コマンド（arrayと枠線を表すhlineの使い方） - Irohabook
ソースコードを色付けして記述する（シンタックス・ハイライト） - はてなダイアリーのヘルプ

2016-12-06

物理とかを勉強する

はじめまして, 清涼(@tn_cider)です. 某大学理学部一年です.

学科は物理ではないのですが, 個人的な興味からちょっとずつ勉強しています.

自分で数式をいじって, 宇宙論のことが少しでも分かったらいいな. ほんとは大学院とかその先で物理を勉強してみたいな.

あとはプログラミングとか, 機械設計とかもかじってみたい.

このブログでは自分の勉強したことをまとめたり, 興味あることをブックマークしたり, 読んだ本の感想を書いたりしていきます. 少しでも自分のモチベーションをあげるのに役に立てたら.

前にも述べたとおり目標が揺らぎ揺らいで定まりませんが, どうかよろしくお願いします.

頭よくなりてえ.

ラムネ瓶に映る星空(仮題)

宇宙もLaTeXも競プロも何も分からん

Quizletでハイブリッドに暗記しよう

単語を覚えたい

Mathtodonとか自然演繹系とか

Mathtodonはじめました

記号論理学

記号法

表の書き方

物理とかを勉強する