年末ジャンボ宝くじを買った。願い事はしても覚えられないのでしていない。住所とは別に生活スペース(みのりのいえ)があったのだが去年12月末にそこが土地の持ち主から一方的に契約解除されてしまい今後の生活スペースがなくなる問題が発生した。今も解決していないので進行中となっている。この件は自分が生活スペースにしている家の契約主と土地の所有者との間でのトラブルであって,金額の大きい話なので私にはどうしようもない気がする...もちろん私が石油王とかであれば仕方があるが...。それでそのうち引っ越すと言っていた友人とルームシェアをしようという話になりやる気を出していたが物件探して心が挫けて探す気がなくなった。今はなるようになれという気持ちでいる。ゲーム剣盾についてSwitchを剣盾の販売と合わせて買ったので,ポケモンをポチポチやっている。基本的にはワイルドエリア散策・キャンプ・対戦を繰り返している。ポケモンにカレーを作って食べさせるのは電子ペットという感じがする。ポケモンの食中毒とか死とか気にしなくて良いので楽ですね...現実はそうでない。対戦はパーティを組むのが大変なので専ら旅パか借りパでやっている。上手く戦えると面白いし,知らない戦略(私がちゃんと対戦を勉強していないから知らないだけで大概はよくある戦略)を見たりするのも刺激的で面白い。みんなよく考えている。(自分も考えていくという主体感がない)このように主体感なく対戦をしているので気持ち的にはトランプの大富豪をやっているような感覚に近い気がする。感覚の分析は難しく,何がどういった意味で似ているかは書かない。剣盾から対戦環境がガラッと変わったと聞いたのが対戦をやることの心理的抵抗を減らした気がする。(知らない常識がたくさん自分以外に共有されている場所に無知なまま飛び込むことは怖いので)今までの作品での対戦環境はあまり知らない。(ガブリアスがめちゃくちゃ強かったという噂くらいは聞いている。今のドラパルトのようなものなのかな。それとミミッキュの"ばけのかわ"が今作だとHPの1/8ダメージだが前作だと0ダメージだったと聞いている。)そういえば当初はウッウの"うのミサイル"が最強だと話題だったが今はそういう話題を聞かないし対戦でもあまり見たことがない。ウッウはどうなったんだろうか...フォートナイトについてSwitchだと無料でフォートナイトができるのでやっている。mobileで培った経験があまり生きておらず新鮮だと感じた。フォートナイトは全プレイヤーがオラついているゲームなのですごい。テトリス99一試合が短く終わるので上二つのゲームに飽きたときや直ぐに終わらせたいときにやっている。10位までは入れるがそれ以上にはいけない。Tスピンという本質的な技を理解していないので,いまの私は覇気を知らずに新世界に挑もうとしていたルフィや,念を知らずにやばいところに行ってたゴンとキルア,のようなものだと思う。買い物MIDI鍵盤を買ったが動作不良だったのでそれを人に売った。新しいものは2月になってからようやく買えた。他には本をかなり買ったが思いの外読めていない。いま読まなくてもそのうち読むだろうという謎の予感がある。微分幾何がたまたまあったので買った。この辺は良い買い物をしたと思う。受けようと思ってその分厚い参考書を買ったが,今期は試験を受ける気がなくなった。臨機応変に生きている。アニメとか漫画とか今期アニメについてまどマギのオタクだったためマギレコを履修している。映像がよくて期待感が高かったが6話までを見て期待感の大きさと比較すると雲行きが怪しいと思っている。ソシャゲ特有の多すぎるキャラクターたちにある程度の見せ場を作らないといけないのがストーリーをうまく回すことと相反している気がする。いう意味ではけものフレンズが1話ごとに新キャラクターとの出会い・そのキャラクターの掘り下げ・ストーリーの進行・別れを全部処理していたのは凄かったなと思う。映像研も見たかったが1話を見逃して見逃し救済が見当たらなかったので今期の履修を諦めてしまった。映画についてスターウォーズのエピソード9を見たかったがまだ見ていない。メイドインアビスの劇場版を見てそのまま単行本の読んでない巻を買った。成れ果て村のあたりまではかなり前に連載をフォローしていたと思う。友人が最近よく漫画をまとめ買いしているのでそれを借りている。おやすみプンプン終末を唱える謎の団体がプンプンたちと関わることなくフェードアウトしていったのが謎だったが,そういうところに必然性を与えないこと含めて"リアルな世界"っぽくしているのかなと思った。アクタージュ良かった。言うと異常者が演劇という場で頭脳戦を繰り広げたり人間関係バトル・マウントの取り合いをする凄い漫画だった。5億年前から連載していると思ってたがまだ10巻くらいだった。五等分の花嫁かわいくてよかった。絵柄のかわいさを見て萌え♡ア・ニメ的なものだと偏見していた(とても後悔している)が,ラブコメが誤魔化しがちな恋愛の性質について真摯に向き合いつつラブコメディとして成立している真面目な漫画だった。かぐや様とかもそういう部類だと思う。21世紀は真摯に生きる人間の時代とツイッターに書いてあったけど,つまりこういうことだと思う。五等分の花嫁は五姉妹とひとりの男が人間関係をして五姉妹のうち何人か(何人であるかはまだわからない。恋愛感情の有無を曖昧に描きそれを読者に考えさせることもラブコメの要素のひとつだと思う)が男に恋をする話で,連載はもうすぐ完結するらしい。五等分の花嫁は主人公が五姉妹の誰かと結婚するということだけが最初から判明していて,そして「誰かを選ぶ」という行為の意味を雑に扱ってはいない話なので今後なにかしらの形で結着がつくのだろう。新井朝雄の数理物理の世界を眺めて,新井朝雄はどうやら物理学における対称性のファンらしいのだが自分もそういうことに興味が出てきた。対称性というのはある種の変換に関して不変性を持つことだが,相対性理論においてはある種の物理規則がローレンツ変換によって不変という対称性があり,電磁気学ではマクスウェル方程式がゲージ変換で不変という対称性があるらしい。この辺の話題にはちょっと興味が湧いた。一方で一科目しか履修していなかった物理の教養授業の期末テストが1月末にあったがサボタージュをしたので単位は未回収となった。他には最近はシンプレクティック幾何に興味がある。解析力学のような物理理論がそのように非常に幾何的な形で記述されるらしいというのは興味深いし,その辺と複素幾何のある種のつながりが有名なミラー対称性とかになるらしい。何も知らない...総括:平和。代数ジェネトポおわりはじめにここでは,逆数学の未解決問題について最近知った話題をまとめる。逆数学の未解決問題は様々あるが,広範囲についてのまとめではなく私が気になったものと今現在知っているものが中心的になる。この記事は今後更新する可能性が高い。逆数学とは,数学で既に知られている個々の定理を証明するにはどういった公理系が必要十分であるか,ということを調査する分野である。ような集合論の公理系をベースとして展開されるが,通常の数学で扱うような定理の逆数学を行うには集合論の公理系は強すぎる。そこでペアノ算術にその二階部分を扱う公理図式を追加した二階算術で,逆数学を行う公理系を用意するという研究が発達している。(この形では本質的に可算な構造しか扱えないため,高階算術を用意するといった研究も調べられている。ここではそういう話はしない。)長年の研究で,5段階の強さに分かれる二階算術の部分体系(公理系)で逆数学は概ね十分に行えることが判明している。現象などと呼ぶ人もいる。)逆数学の既に知られている結果の簡単な一覧はWikipediaで見れる。これについて少し書く。ラムゼー理論周辺Ramseyの定理の主張を見るための準備をする。