21/05/27 12:55:05.83 l2D1bgDZ.net
>>521
>メモ：21世紀の数学は”hol”（高階論理）ですね（＾＾
大学一年4月で落ちこぼれた落ちこぼれザルが21世紀の数学を語る滑稽さ
21/05/27 12:55:05.83 l2D1bgDZ.net
>>521
>メモ：21世紀の数学は”hol”（高階論理）ですね（＾＾
大学一年4月で落ちこぼれた落ちこぼれザルが21世紀の数学を語る滑稽さ
21/05/27 12:55:05.83 l2D1bgDZ.net
>>521
>メモ：21世紀の数学は”hol”（高階論理）ですね（＾＾
大学一年4月で落ちこぼれた落ちこぼれザルが21世紀の数学を語る滑稽さ