.a{ overflow-y:scroll; overflow-x:none; border:solid 2px; border-radius:2px; padding:2px; } 可測集合列について、であり、 ならば の証明をやってた。これは可測集合列と測度について と可測集合列と測度について、 ならば を使って下極限と上極限で挟…

眠くなって昼寝したら夜になっちゃった

講義始まった。予復習のスケジュール組みをどうすればいいのかわからない。

なーんもやってない。 バイトに遅刻した。カス。

ずっとApexやってた。レジェンドが開放できるようになったのでクリプトを開放した。 この間に2回勝利した。 そろそろ大学始まるので不安。

昨日は休んでいたら寝落ちしたので今日記を書いています。 やはり飯食ったらすぐシャワーを浴びるべきだった。10進数の加減乗除の方法を示すやつが結構めんどくさくて、関数の構築もさながらそれが合っていることを示すのが、なんというかどうしても自明みた…

.long{ overflow-x : "scroll"; overflow-y : "hidden"; } 割り算の一意可能性 を示した。 これによって、-進法表記の一意可能性が示せて、-進法表記ができるようになった。 例題に10進法での加減乗除の計算方法を考え、それが正しいことを示せとあったが、…

今日は寝たきりでした。 シラバスとか時間割を確認した。 ほんの少しだけ数学をすすめた。 Apexは向いてない。

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

今日はなにもせず。 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らしいので、要勉強。 あと、数学の勉強が進んでない。