日々の流転

λ. ガロア理論について雑談

研究会の前にちょっとお邪魔して雑談。 ガロア理論について色々と聞く。 ガロア理論、興味はあるんだけどねぇ……

• 『群の発見』は群の「こころ」がわかる良い本らしい。
• Francis Borceux の『Galois theories』はガロア理論を圏論等の近代的な道具で整理したとか。ちなみに、この人は『Handbook of categorical algebra I』なんて本も書いている
• 順序集合(poset)の随伴(adjunction)を galois connection と呼ぶのは結局何故?　昔から気になって仕方が無い。ガロア理論は群の圏と体の圏の一種の随伴を考えるらしい(?)が、その辺りと何か関係ある?　仮にそうだとして、現在の定義に一般化される経緯はどのようなものだったんだろうか?
• 「群・環・体—ガロア理論入門」
• ガロア理論 - その標準的な入門. 中野伸 <URL:http://www.saiensu.co.jp/magazine-htm/spsk-200309.htm>
• xⁿ - 1 = 0 をベキ根で解けるというガウスの定理
  • ガロア理論で重要
  • ガウスの証明は複雑だが、ガロア理論ではあっさり証明できるらしい

ガロア理論で思い出したが、飯田君は元気だろうか……

λ. 古川研:Abduction勉強会

• 「resolve(G,R,Gs) :- member(G,R).」のGsは[]の間違いだと思われる。
• 工夫したnegation-as-failureで否定を扱うのではなく、メタインタプリタで述語に応じた特別な書き換えを行うことの理由がイマイチ良く分からない。

λ. 遅夜勤しんどいよ

遅夜勤はしんどいよ。 早夜勤の終わりの朝6時になって、外がだいぶ明るくなっているのに、それからまだ2時間もあると流石に「うへー」と思う。特に7時から8時は眠くて仕方がなくて、意識がコマオチしてた。操作ミスをしそうで怖かったが、一応そういうことは無くて良かった。

風呂に入って、朝食も食わずに寝た。

起きて、i-saintさんのところで知ったロマサガ3のマスコンバットの動画を見る。 これまでニコニコ動画のアカウントを作るのは我慢してたけど、これが見たくて作ってしまった。Air-Edgeで見るのは辛いので、まだ暗殺編しか見ていない。

プールに行って、また1kmを30分弱で泳いできた。

そして、もう一度寝る。 20:30くらいまで寝ていたかったが19;00ごろに目が覚めてしまった。 睡眠時間が足りていない。 今夜の夜勤も眠くて辛くなりそうだ……