• 統辞論と意味論の規則
• 先人の読書メモ
• 聞き専なので
• 内包がよくわからんのでもいちど読み直し
• タイプ理論（第五章第三節）
• 「由緒正しいTeX入力法」
• なんでファイだけが？？
• 述語論理（第四章）
• 命題論理（第三章）
• ここで数式書く時のTeX表記なんやけど
• メタ変項
• 文を項に取りたい
• Quasi-quoteation
• 彼n
• なんでも
• 到達可能性