はじめに 導入 例 最初の例 次の例 おわりに おまけ はじめに Wathematica アドベントカレンダー企画の一部です。 アドベントカレンダー、理系なのになんでクリスマス祝ってんの？とかいう自爆みたいなツイート流れてきて震えたことあります.だいばくはつ. …

はじめに 導入 定義など 文記号、文結合記号 真理値割り当て 健全性、完全性 おわりに おまけ 参考文献 はじめに こんにちは、かまあげです。うだるような暑さですね。私も茹ってしまいそうです。かまあげだけに。 数学基礎論についてはどのようなイメージを…

はじめに 学問系ですきなこと 学問系以外に趣味とかないの？ このブログで何する予定なの？ はじめに 自分は早稲田大学基幹理工学部数学科二年の"かまあげ"というものです。 名前は特に何も考えずに決めたので、由来とかは覚えてないんですが、一応丸亀製麺…