エルフに数学を装備するだけ
エーリルはエルフの村の賢者である。
ある日、空腹のあまり雑草を食べて光になってしまった。
光は世界を超え、とある研究室を照らし出す。
これは数学徒とエルフが頭を加速させる物語。
ある日、空腹のあまり雑草を食べて光になってしまった。
光は世界を超え、とある研究室を照らし出す。
これは数学徒とエルフが頭を加速させる物語。
一章：なんか光
はじめに
2014/11/03 21:45
（改）
イチジクの呪い
2014/11/03 21:49
（改）
口から草
2014/11/03 22:48
（改）
エルフは指を曲げると力が高まる
2014/11/05 22:08
（改）
数学徒は無機物にも礼儀正しい
2014/11/07 22:44
（改）
阿鼻叫喚にされた
2014/11/09 23:46
（改）
石（伝説ではない）
2014/11/15 02:24
（改）
最初のダンジョンからどうしようもない
2014/11/17 23:44
（改）
こいつが食べました
2014/11/30 00:37
（改）
一撃で仕留める１
2014/12/06 05:05
（改）
一撃で仕留める2
2014/12/10 16:16
（改）
パワー装備
2014/12/10 17:06
（改）
認めよう
2014/12/17 06:01
（改）
試しに作ってみた
2015/01/16 16:31
（改）
試しに動かしてみた
2015/01/23 02:44
（改）
二章：ことばを作るよー
命題論理の文法編
2015/03/04 20:16
（改）
公理
2015/05/24 21:41
（改）
⇒と証明と定理
2015/06/11 23:06
（改）
演繹定理1
2016/03/24 03:03
（改）
演繹定理2
2016/03/25 08:30
（改）
￢、爆発則、矛盾
2016/04/02 21:06
（改）
背理法、否定導入
2017/01/09 08:29
∧
2016/04/02 22:07
（改）
∨
2016/04/02 23:01
（改）
⇔
2017/01/15 00:02
（改）
ヒルベルト流と自然演繹
2016/04/03 00:07
（改）
命題論理のメモ１
2016/01/06 02:42
（改）
命題論理のメモ2
2016/01/10 01:43
（改）
命題論理のメモ3
2017/01/16 18:08
（改）
三章：一階述語論理
それが矛盾したらヤバイ
2017/01/17 21:20
一階述語論理で使う記号
2017/01/18 21:35
（改）
項、原子的論理式、論理式
2017/01/19 21:07
（改）
代入
2017/01/20 22:14
（改）
自由変数、一階述語論理の論理的公理、推論規則
2017/01/21 18:07
（改）
一階述語論理の演繹定理、∀el
2017/01/22 17:04
（改）
=
2017/01/23 21:15
=の式変形,[x/x]
2017/01/24 21:05
∃
2017/01/25 20:06
（改）
一階述語論理のメモ1
2017/01/26 21:06
（改）
一階述語論理のメモ2
2017/01/27 23:34
（改）
四章 数えはじめ
イケメンに捕まった
2017/01/28 22:04
（改）
イケメンがやってきた
2017/01/29 22:07
（改）
ペアノ算術
2017/01/30 22:12
（改）
代入原理,+
2017/01/31 23:03
（改）
×と分配法則1
2017/02/01 23:04
（改）
×と分配法則2
2017/02/02 21:04
≦
2017/02/03 23:17
（改）
全順序律
2017/02/05 12:12
（改）
もしも代入をミスったら
2017/02/05 23:07
（改）
五章：そして集合へ
ラッセルのパラドックス
2017/02/07 22:15
（改）
⊆と外延性公理
2017/02/11 22:06
（改）
