ポスト

x.com/esumii/status/… 「導出に関する帰納法がわかりません!」(お約束

メニューを開く
S (ツイートはスレッド全体をご確認ください)@esumii

授業アンケート(非公式)で数学的帰納法を駆使する回の評判(わかりやすかったかどうか)が明らかに悪い:-)ので人類 #大主語 に数学的帰納法は困難であり、直に操作的意味論の複数ステップ簡約列を考えるのではなくホーア論理による公理的意味論が重要と話を持っていく #お約束

S (ツイートはスレッド全体をご確認ください)@esumii

人気ポスト

もっと見る
Yahoo!リアルタイム検索アプリ