ウィリアム・フォークナー『八月の光』を岩波文庫の諏訪部訳で読みました。 www.iwanami.co.jp www.iwanami.co.jp 実は半年ほど前にも1回挑戦しているのですが、上巻のちょうど真ん中、ジョー・クリスマスの幼少期パート（第6章）が辛すぎて中断していました…
今年もやります。 『ゼルダの伝説 風のタクト』については以前別記事にまとめたので、そちらを参照。Switch 2版が発表されたり、任意コード実行が見つかったり、いろいろありました。 wagaizumo.hatenablog.com 『ゼルダの伝説 時のオカリナ』 100% Nocturne…
前回は型理論・圏論・論理学の各分野について触れながら、型理論の歴史まで紹介した。 wagaizumo.hatenablog.com 今回はトライアングルの辺の部分、分野同士の対応について説明する。 型理論 ↔ 論理学 定理証明支援系 論理学 ↔ 圏論 型理論 ↔ 圏論 ホモトピ…
コンピュータサイエンスの勉強をしていると、どこかの段階で型・圏・論理のトライアングル（Computional Trilogy）にぶつかる。すなわち、 カリー＝ハワード同型対応によって、型付きラムダ計算（プログラム）と直観主義論理（証明）が対応する 圏論的論理学…
この記事は以下の解説記事を翻訳したものです。 github.com 元記事の執筆者は、『風のタクト』での任意コード実行に多大な貢献をされたTrogWW氏です。解説記事も非常にわかりやすくまとめられています。 ただ、日本語で解説記事を読みたいという方もおられる…
[前回のあらすじ] なんやかんや（Door Cancel with Vision／ガノン城内チンクルシーバー／新バリアスキップ／魔獣島1回目ルート変更）で、風タクAny%が45分を切った。 wagaizumo.hatenablog.com 3月：All Dungeons 4月：メインカテゴリ全冠 4月：Low% 7 item…
風邪を引いたので横たわっていても読めるWeb小説を探していた。 以下メモ。 自分の中の問題意識がない 無限の消化力が欲しい！ かつてテレビアニメを全て見てる人が（ごく一部の界隈で）偉かったように。といっても、放映枠で数の上限が決まっているテレビア…
夏、意味ない。 フォークナー『八月の光』 この夏は『八月の光』読んでフォークナー泣き ↑ 意味ない www.iwanami.co.jp
この2か月間さる事情があり──いや、本当は大した理由もなく──数学や物理のトピックをいろいろ漁って勉強していた。そして過剰に期待しては幻滅するのをくり返していた。その過程を本記事では紹介する。 アタシっていつもこれだ……。 1. 機械学習 2. 数値計算 …
こんにちは、モダニズム友の会です！ 春、新しい環境での生活が始まる季節ですね。新入生や新社会人の皆さんは、第一印象を良くするための基本マナーに気を配りたいところ。でも、「身だしなみ」や「敬語の使い方」といったお決まりのルールばかりで、ちょっ…
入沢康夫の生い立ちや経歴、代表作の特徴、現代詩への影響、同時代の詩人との関係、詩のテーマや読み方について詳しく解説。
twitchは仕様変更により、2025年4月19日から保存できる動画の上限が100時間になるらしい*1。過去のRTA記録が失われることへの危機感で、どこのRTAコミュニティも大騒ぎになっている。RTA史も今後やりづらくなるかもしれない。 それとは無関係に、最近のRTA動…
小袋成彬『Zatto』（2025年1月） おもしれー男。 open.spotify.com www.youtube.com おもしろが過ぎる。キャッチーさに欠けることも否めない。例えば表題曲「Zatto」の中間部は考え過ぎた結果冗長になっている。 アルバムを三回通して聞いてようやくその真価…
今年のまとめ。2024年1-2月頃の出来事は当時記事にしたので、それ以後のことを扱う。ムジュラのLaundary Pool Clip（1st cycle skip）、時オカのDynawarpおよびStale Cutscene Manipulationについては次を参照。 2023年のムジュラRTAニュース：2つの1st cycl…
前回の続き。 wagaizumo.hatenablog.com Elden Ring SEKIRO Dark Souls III Dark Souls II Dark Souls Armored Core VI Celeste Animal Well Doom / Doom 2
今年のまとめです。関連記事： 2024年のRTA個人的まとめ②：フロムゲーその他 - 古い土地 2024年の風タクRTAニュース：新バリアスキップとAny% 45分切り - 古い土地 2024年の時オカ・ムジュラRTAニュース - 古い土地 マリオ64 スーパーマリオサンシャイン ブ…
<前| wagaizumo.hatenablog.com 前回記事の後書きを収録。グリッチ史からの補足を現在執筆中。 Part.1のあとがき：RTA史に関する提案と展望と雑考 1. 呼びかけ 2. 日本のスピードラン史 3. グリッチ史 4. TASの歴史とRTAの歴史的役割 5. カテゴリの歴史 6. …
1998年にニンテンドー64用ソフトとして発売された『ゼルダの伝説 時のオカリナ』は、ゼルダシリーズを代表する作品の1つだ。これはまた初期の3Dゲームを代表する傑作の1つであり、そしてスピードランというゲームの遊び方を代表する作品の1つである。 今回は…
『ゼルダの伝説 風のタクト』関連で今年いろいろあったので、時系列順にまとめました。ここ2年破られなかったAny%のRTA世界記録が急に6分 7分 8分も更新されたことを中心に扱います。鍵は「剣だけでバリアスキップ」。 プロローグ：2024年以前の風タクRTA 1…
以前いろいろな事情が重なって*1、ホメロス『イリアス』『オデュッセイア』について調べていたことがあった。その際にヘレニズム期から中世にかけてのホメロス受容の状況がかなり面白いことを発見した。簡単にまとめると、ホメロス原典が二次創作と偽書に負…
「うい麦畑でつかまえて」、『わが出雲・わが鎮魂』説 うい 夢に見るよ 新婚旅行 そっかそれなら 空き缶はお前らだね しっかりくくるね （「うい麦畑でつかまえて」作詞：ナナホシ管弦楽団、作曲：岩見隆）https://www.youtube.com/watch?v=5uaHMmcReI0 ガラ…
カート・ヴォネガット『スローターハウス5』（Slaughterhouse-Five, or The Children's Crusade: A Duty-Dance With Death、1969年）を読みました。 www.hayakawa-online.co.jp きっかけは1945年の第二次大戦敗戦から「恥辱」軸でWeb小説を説こうとする小論*…
ヴァージニア・ウルフ『灯台へ』（To the Lighthouse、1927年）を読みました。 www.iwanami.co.jp 以前ウルフの『波』（1931年）を読もうとしたときは100ページ程で挫折してしまった。「こいつら全員言葉に対する感性鋭いんか？？？流石におかしくないか？？…
昔、ふと思い立って「結び目と素数」について調べていた時期があった。 www.kinokuniya.co.jp 細かい経緯はよく覚えていない。ただ結び目のアレクサンダー多項式と数論の岩澤不変量が対応するというストーリーに関して、単なるアナロジーにしてはうまくいき…
wagaizumo.hatenablog.com 将来の利用を見越して、上の記事で使わなかった引用&コメントをここに列挙する。 偶然にも没案は25個あった。この程度の記事でもクオリティ・コントロールのため全体の半分を切り捨てているらしい。 選定の基準として面白さ・啓発…
こんにちは、モダニズム友の会です。 暗い出来事や、難しい問題にぶち当たったとき、気持ちが沈んでしまうことや、先が見えなく感じてしまうことがありますよね。 そんな時は、ぜひ入沢康夫の詩集を開いてみませんか？ 今日は、落ち込んだ時に読んでほしい「…
すでに書いたものから没予定のものまで以下に列挙する。「整形した創作メモ」といった具合。私が普段どんな愚にもつかないことを考えているか明らかにしよう。 「これ面白いね」というものがあれば反応いただけると書く確率が上がるかもしれない。 落ち込ん…
おはなし wagaizumo.hatenablog.com ［こどもの みなさんへ］ すこし ながくなります。かんじ が おおいので まわりの おとなのひとに よんでもらって くださいね。
子どもに読ませたい現代詩不朽の名作！ 原作：入沢康夫『わが出雲・わが鎮魂』思潮社、1968年 対象年齢：7∼8歳（小学校低学年） 制作支援：ChatGPT-4o ※：Web掲載にあたり表現を一部改めています。あらかじめご了承ください。書き下ろしの「かいせつ」はWeb…
wagaizumo.hatenablog.com 前回のあらすじ： アイルランド最大の都市ダブリンに生まれ育ち、ヨーロッパ大陸に移住してからもダブリンの街を描き続けた作家ジェイムズ・ジョイス（1882-1941年）。彼の作品として短編集『ダブリナーズ』（1914年）および長編『…
