2月18日(日)10時30分~17時30分に矢田部俊介先生による論理学上級番外編(完全性定理/カリー・ハワード対応)が開催されます。詳しくはこちらからご覧ください。
● 営利目的の情報 ● 不必要な個人情報 ● 人を不快にさせるような記述
※ 読みやすさの観点等から、コメントおよび質問の文言をこちらで修正することがございますので、 予めご了承ください。
回答者一覧
Δ