0001以下、5ちゃんねるからVIPがお送りします2023/02/28(火) 09:19:08.352ID:qvG6U7WR0
∃、∀、¬とか使いこなせるぞ
0002以下、5ちゃんねるからVIPがお送りします2023/02/28(火) 09:19:59.734ID:wRdqzVJl0
prologくらいは使えんの？
0003以下、5ちゃんねるからVIPがお送りします2023/02/28(火) 09:23:41.858ID:0PZjhr1N0
まだ研究すること残ってんの？
0004以下、5ちゃんねるからVIPがお送りします2023/02/28(火) 09:25:09.425ID:o1LkUoSxd
学者（自称）
0006以下、5ちゃんねるからVIPがお送りします2023/02/28(火) 09:36:23.444ID:ukWfBAiG0
コーエンの強制法は？
ラムダ計算は？