深大寺にいった。 武蔵野市場をみた。すごいよかった。

今日はなにもせず。 Apex入れてやってみたけどFPSはやっぱ苦手だった。

昨日から寝ずにドグラ・マグラを読んだせいであまりに眠くなってしまい夜まで寝た。 阿Ｑ正伝を読んだ。正直あまり掴めていない。 また少ししてから読み直したほうがいいかもしれない。

.long{ overflow-x:true; overflow-y:hidden; } 実は詰まっていた命題の証明をした。 あと、列に関する定義を確認した。ドグラ・マグラを読み始めた。 奇書だ奇書だといわれていたので気になっていたが、読み始めてみるとそこまでではなかった。 読むと頭が…

.long { overflow-x : scroll; overflow-y: hidden; } 帰納定理の拡張 を示した。 それから直ちに得られる も示した。 また、累積帰納法に対応する形の も示した( は写像の縮小(定義域を縮めたやつ))。疲れた。

Factorioの実績「スプーンなんてない」を獲得した。 civの立ち回りがすこしわかった。

数学はすすんでない。 履修を見直した。 Factorioやったけど、厳しかった。 述語論理の形式モデルの実装は違う方法を思いついたので作っていたが、代入ですこしまた詰まった。

の集合が実は関数であることが示せることが頭でわかった。証明はやってない。 述語論理の形式モデルの実装が進んだ。前述Variableの問題はホルダークラスを実装して回避した。 あと緑diffを2個解いた(Triangle と Rain Flows into Dams)。 ほかはなんもやっ…

今日はほぼなんもやってない。 朝ちゃんと起きられたのはいいが、数学をほんの少し(自然数の掛け算に関する命題の証明やって、帰納定理の拡張 の証明で詰まってしまった(参考書にしている「数学の基礎」島内 に書いてある証明は最初に帰納的に関数を定義して…

今日は前日から徹夜してたんですが、眠くなって09:00~15:30の間寝た。 朝は置換をC++でごちゃごちゃするやつで、置換の符号sgnと、任意の置換を互換の積に分解する機能を実装した。 https://wandbox.org/permlink/KcjUrHGlwXJqzCym 午後はコードがクソ汚いが…

今日は17時に起きたのがよくなさすぎた。 そのままよるご飯食べて風呂入って、ABC195に参加した。 A, B, C, Eが解けた。このコンテストで緑になった。 Dが解けなかったのはカス。反省ポイント。 FはFFTらしいので、要勉強。 あと、数学の勉強が進んでない。