【ここまでのあらすじ】戦争犯罪容疑者ソフィアが拘留されていた拘置所内で密室殺人事件が発生し、彼女は忽然と姿を消した。密室の謎は解けずソフィアも見つけらないまま3日が経ち、困ったモガール警視はナディアを通じて駆に相談するが、けんもほろろに断ら…

『砂の都』が完結して本が出たのはめちゃくちゃ嬉しかった。この漫画はあるとき連載が止まって、時間を置いてきちんと最後まで描かれて終わった（私は掲載誌を読まなくなっていて連載再開に気付かずにいたので出版情報を見てびっくりした）んですけど、なん…

近隣の（と言っても片道1時間くらいは掛かるけれども）いくつかの大学が近隣住民の入構を許すようになったので、その図書館に通うようになりました。ちょっと珍しいことだと思うんですけど、近隣に（と言っても……）大学がいっぱいあって、そのうちのいくつか…

きのうの青い厚揚げ杯に参加していました。 第37位 @lkbys氏 1時間29分34秒 https://twitter.com/aoiatuage/status/1740389486448828549 1時間半くらいで37位でしたー。最下位。前回は大会のことを忘れていて10分遅刻だったところ、今回はもっと大きく1時間…

掲題のとおりです。少し前のことだったらしい。

どうあがいてもイルカがもらえる！！（声に出して読みたい日本語） pic.twitter.com/pS7oDDeOcN https://twitter.com/__pench4n__/status/1739188851065938019 万能下の句だ 荒海や佐渡に横たう天の河 どうあがいてもイルカがもらえるhttps://twitter.com/li…

「こんなに強そうな公理が必要なんだろうか」とぼんやり思っていたんですが、クラスについての「どの同値関係にも完全代表系が存在する」というタイプの選択公理を認めれば大域選択公理があっさりと出て来てしまうことを知りました。「大域」というの、集合…

きのうの青い厚揚げ杯に参加していました。青い厚揚げさんの結果発表記事：2023年12月早解き大会①(ヤジリン)結果 | 青い厚揚げのホームページ 第53位 @cl_ykkr氏 21分40秒第54位 @lkbys氏 22分19秒第55位 @math_ter0713氏 22分20秒第56位 @a_promoted_rook氏…

http://lkbys.sakura.ne.jp/lkbys/Public/left_exactness/left_exactness_I.pdfに置いているPDFを更新しました。 補題1.51の主張に、射影（とはこの補題では呼んでいないけれども）がSのすべての元を0に写すことを含めました。それに伴って、その分の証明を…

第2章のPDFを4年振りに更新しました。http://lkbys.sakura.ne.jp/lkbys/Public/left_exactness/left_exactness_II.pdfをご覧ください。今後、第2章の最新版はこのhttp://lkbys.sakura.ne.jp/lkbys/Public/left_exactness/left_exactness_II.pdfに置かれます…

えー、「第一象限みたいな一部だけ閉じてる平面とかを表す言葉はあるのかな」という質問で瞬間的に思い付いた答えは角付き多様体なんですけど、それで合っているのか自信無いですね。そのものをぴったり表す言葉は知らないので、何かは捨象しながら回答する…

えー、詰めチャレ以外の、読んだ本のこと、日々の生活のことなども書こうと思ってこのブログを始めたんですよ。今もそう思っています。そのうち書くんじゃないかと思います。もしかしたらすぐに書くかもしれません。が、まあそれはそれとして、とりあえず、…

きのうの青い厚揚げ杯に参加していました。青い厚揚げさんの結果発表記事：2023年11月早解き大会②(ヤジリン)結果 | 青い厚揚げのホームページ 第55位 @lkbys氏 1時間28分46秒第56位 @kanmi_mikan氏 1時間35分25秒第57位 @anze4fgo氏 1時間41分36秒 https://t…

『超人ロック 憧憬』と『スクールバック』(2) と『乙女ゲームの悪役令嬢に転生したけどフォロワーが布教してた知識しかない』(2) を買いました。isbn:9784046805683 著者：聖悠紀isbn:9784098530229 著者：小野寺こころisbn:9784799218396 著者：やちうお

きのうの青い厚揚げ杯に参加していました。青い厚揚げさんの結果発表記事：2023年11月早解き大会①(ヤジリン)結果 | 青い厚揚げのホームページ 第42位 @OknowC氏 27分18秒第43位 @sukyakura339氏 28分34秒第44位 @salmon_math氏 30分54秒第45位 @FMNagisa氏 3…

先月1日からきのうまでの間に、http://lkbys.sakura.ne.jp/lkbys/Public/left_exactness/left_exactness_I.pdfに置いているPDFを4度更新しました。それらをまとめて、それ以前の（2月16日に更新した）版と現行の版との差分を考えると、以下のとおりです： 自…

http://lkbys.sakura.ne.jp/lkbys/Public/left_exactness/left_exactness_I.pdfに置いているPDFを更新しました。 前の版で商写像と呼んでいたものを射影と呼ぶように修正しました（定義1.52）。 商加群についての小節の最後に1文を追加しました。 部分集合に…

完成直前で私の気持ちのよくわからない何かが原因で放置していたんですが、それが解消されていることに突然気づいたので完成しました。そういうことはちょくちょくあります。

http://lkbys.sakura.ne.jp/lkbys/Public/left_exactness/left_exactness_I.pdfに置いているPDFを更新しました。 商加群（a.k.a. 剰余加群）について書きました（第2章へのジョイント節、生成された部分加群の後）。 同値関係の言葉を使わないで、証明の中に…

きのうの青い厚揚げ杯に参加していました。 第18位 @coco_air氏 33分09秒第19位 @marupepu氏 39分11秒第20位 @SPERO_DVM_SPIRO氏 39分44秒第21位 @hotansian氏 41分39秒第22位 @ABoCaDoPOP氏 45分55秒第23位 @komju3kaino氏 54分10秒第24位 @lkbys氏 58分46…

『ザコ姫さまは生きのびたい！』(2) 買いましたー（きのう）。isbn:9784757588585 原作：焦田シューマイ 作画：おみおみ 構成：木場健介

きのうの青い厚揚げ杯に参加していました。 第26位 @SPERO_DVM_SPIRO氏 05分25秒第27位 @Sahovnica_氏 05分27秒第28位 @Mio_yennba52Q氏 05分28秒第29位 @komju3kaino氏 05分29秒第30位 @Kuekiya氏 06分14秒第31位 @holy_smith氏 06分30秒第32位 @lkbys氏 06…

『私の魔法の先生は魔法が使えない』と『スターリングラードの凶賊』(1) を買いましたー。isbn:9784046829696 著者：あれっくすisbn:9784592712282 著者：速水螺旋人

ひびき様が主人公の漫画のweb連載が始まるらしい。「プリパラ」紫京院ひびき主役のWebマンガが今冬連載開始、EVER GOLDカフェも - コミックナタリー いやあ、びっくりしました。

http://lkbys.sakura.ne.jp/lkbys/Public/left_exactness/left_exactness_I.pdfに置いているPDFを更新しました。 （必ずしも自由ではなく）生成された部分加群について書きました（第2章へのジョイント節、自由に生成された加群の後）。 補題1.42の文章を僅…

『将棋世界』10月号を読んでいたら文中に「加藤一二九段」が出現していて（122ページ）、桁が足りない感じがちょっと面白かった。

http://lkbys.sakura.ne.jp/lkbys/Public/left_exactness/left_exactness_I.pdfに置いているPDFを更新しました。 自由に生成された加群について書きました（第2章へのジョイント節）。 「命題」となっていた1.16と1.19を、ほかに合わせて「補題」に修正しま…

きのうの青い厚揚げ杯に参加していました。 第40位 @mikiyasu55氏 1時間02分43秒 第41位 @nallurey氏 1時間05分14秒 第42位 @kanahii405氏 1時間08分37秒 第43位 @kanmi_mikan氏 1時間13分37秒 第44位 @mgintz289氏 1時間39分24秒 第45位 @lkbys氏 1時間40分…

『サテライト・コインランドリー』(2) と『海が走るエンドロール』(5) と『君のラブを見せてくれ！』(1) を買いましたー。isbn:9784046829733 著者：にわかあめ（よよはち×ナツノアメ）isbn:9784253265256 著者：たらちねジョンisbn:9784041141366 著者：リ…

https://ssl4.eir-parts.net/doc/3193/tdnet/2339159/00.pdf鳥貴族ホールディングスが社名変更しようとしているらしくて、エターナルフォースブリザードじゃんって言われてたので連想で検索したけどありませんでした。みんなもうこういうノリでtwitterしてな…