最近グラフ理論を触り始めて、Wikipediaのギャラリーを見たりして楽しんでいる。理論の方は定義や用語は多い一方で、纏まりがある分野ではない印象を受けた。個々のグラフ、つまり数学的な背景があって、そこから導出された対象に限定して議論することが普通…

読みました。本書は著者が「はじめに」で述べているように、記述に重きを置いたモデル理論の本。より厳密には一階述語論理の入門書。 論理式の定義から丁寧に説明があり、具体例も多いので良い意味で訓練になる。そこから定義可能性という楽しい話題にも触れ…

なんか最近絵を描くことに嵌って、ひたすらリンゴをモチーフに塗り塗りしてる。 概ね想像で描いてるけど、左から右に少しずつ上手くなってる気がするようなそうでもないような。

mathtod.online マストドンは中央集権型のツイッターとは異なり、各地にあるサーバーが個々に機能を提供するSNSらしい。ニコ動も提供してるけど数式が書けるということで、mathtod.onlineなるインスタンスに登録してみた。よかったらフォローしてね。 ブログ…

最近やってるゲームのイベ消化に勤しんでたら投稿がおろそかになってしまった。お船のゲームです。といってもリアルな方（WoWs）ですが、かれこれ2年近く遊んでます。一試合が長いのと様々なツリーに手を付けていることもあり、未だに最高Tierが9という。で…