前に↓のような発表をしたことがあった。 https://researchmap.jp/cut_elimination/presentations/50827047 相互作用的な計算を第一に考え、そこから論理を再構成しましょう、ルディクスを題材にそれを見てみましょう、という話。 そこで質問として出たのが、…

まあまあおもしろかった！ パリに咲くエトワール（１） (アフタヌーンコミックス) 作者:谷口悟朗・ＢＮＦ・ＡＲＶＯ,ゼリハン 講談社 Amazon 舞台は1910年代のパリ。ということは（調べたが）藤田嗣治とかがパリに渡っていた頃である。ロシアバレエが台頭し…

おもしろかった！ 銀魂 モノクロ版 25 (ジャンプコミックスDIGITAL) 作者:空知英秋 集英社 Amazon 公開からけっこう経つので回数が少なくなっていて、それゆえかかなり人が入っていた。噂に聴くとおり黒い服の女性の客が多い。オタクファッションである。み…

リバイバル上映してたので観てきたぞ！ 人狼 JIN-ROH Amazon アニメ好きならば必ず見ておかなければならない歴史的傑作である。私はけっこう昔にレンタルで見て以来ひさしぶりにちゃんとフルで見た。映画館で観たのは初めて。 何がすごいかって作画である。…

ちょっと考えたこと。 分析美学で、不道徳な芸術をどう評価するか、道徳的にまずい作品は美的にも悪いかどうか、という論争がある。『分析美学基本論文集』に入っているジェイコブソンの論文「不道徳な芸術礼賛」が有名で、ステッカー『分析美学入門』12章で…

素晴らしい傑作！ 花緑青が明ける日に 映画パンフレット 監督 四宮義俊 キャスト 声 萩原利久 古川琴音 ノーブランド品 Amazon 監督の四宮義俊氏は日本画家でアニメ関係の仕事もいろいろやっている人である。満を持して長編商業作品の初監督。 そういう人の…

なかなか良かったんじゃなかろうか！ WBCを見るためにNetflixに入ったのでいつでも見れるが、せっかくなので映画館で観てきた。上映が始まった当初は連日満席だったが、やや落ち着いてきた模様。 Ex-Otogibanashi - ryo (supercell) (特典なし) アーティスト…

痒い。皮膚科に行った。 私はもともとアトピー持ちで、常にどこかしら痒く、常にどこかしら掻いている。乾燥のせいか、それが悪化して傷だらけになったので、何年かぶりに皮膚科に行った。なんで悪化するまで放置していたのかというと、他に心療内科にも行っ…

モチベーションをいろいろ書いていたので、ついでにジラールの最近のプロジェクトである超越論的シンタクスについて、現時点で私にわかる程度にモチベーションを書いておく。 cut-elimination.hatenablog.com cut-elimination.hatenablog.com λ計算では、計…

噂には聴いていたけどちゃんと見たことなかった。アメリカ・ホワイトハウスのTwitter(X)が異常なのである。今日こんなポストを見た。 JUSTICE THE AMERICAN WAY. pic.twitter.com/0502N6a3rL — The White House (@WhiteHouse) 2026年3月6日 現在アメリカは…

↓のようなことを書いたけどその続き。 cut-elimination.hatenablog.com さらに最近、某大学で線形論理のちょっとした入門トークをしてきた。そのスライドを公開中です。https://researchmap.jp/cut_elimination/misc/52556556 訂正：「表示的意味論」→「証明…

私の所属する某超一流大学哲学研究室の懇親会に出た際、後輩から「線形論理を研究するおおまかなモチベーションは何か？」的なことを訊かれた。その後輩は(メタ)倫理学をやっていて、倫理学のおおまかなモチベーションは「何がよいことか？」「どんな規範に…

リバイバル上映に行ってきました。実は初めて観た。 涼宮ハルヒの消失 平野綾 Amazon テレビシリーズは何度か見ていたが、劇場版はめっちゃ長いのでそのうち見ようと思うままけっこう経ってしまった。リバイバル上映という良い機会なので、テレビ版をもう一…

最近とあるITスタートアップ企業でインターンをしている。 論理学&理論計算機科学を研究するものとしてプログラミングやコンピュータ関係のことは独学していたが、いかんせん理論偏重になってしまいがちだった。ようやく現場で実践する機会に恵まれている。 …

皆さん、最近なんJに変動が起きているのをご存知だろうか？ なんJというのは5ちゃんねる（旧2ちゃんねる）の「なんでも実況J(ジュピター)」板のことである。野球実況や独特の言い回し（なんJ語）でかつて一世を風靡した。 当ブログでたびたび触れているが、2…

おもしろかった！ [SYNCA] 映画 スペルマゲドン 精なる大冒険 映画チラシ ノルウェー アニメ グッズ 公式 SYNCA(シンカ) Amazon なかなか見る機会のないノルウェーのアニメーションである。擬人化された精子（といってもオタマジャクシに顔がついたような感…

おもしろかりけり。 クスノキの番人 (実業之日本社文庫) 作者:東野 圭吾 実業之日本社 Amazon ↑原作未読。そういえば東野圭吾の小説を読んだことがない。 派手な展開はないが、物語は豊かで、絵も丁寧で良かった。美術が綺麗ですな。 東野圭吾原作だからミス…

フランスのアニメ映画！ やってる劇場は少ないけど大変おもしろいのでぜひ観ましょう！ 映画『マーズ・エクスプレス』先行上映来場者限定特典ポストカードセット ノーブランド品 Amazon 日本では90年代に盛んになってじきに廃れたタイプの、重厚なSFアニメで…

おもしろかりけり。 最近忙しかったけどひさしぶりに映画館に行けた。 機動戦士ガンダム 閃光のハサウェイ 小野賢章 Amazon 前作は先々週くらいに復活上映で観ていた。前に観たときは話が難しくてよくわからなかったが、2回目となるとまあまあわかっておもし…

↓の続きです。 cut-elimination.hatenablog.com 希望を得た私は、バス会社のWebページで確認したバス停に向かった。すると、今まさに大谷地駅行きのバスが来たところだった！ しかも人は少なく、すぐに乗り込めた。 その後数分でバスは満席になった。一人の…

↓の続きです。 cut-elimination.hatenablog.com 朝。 薬がよく効いて、9時頃まで眠っていたようだ。身体は少し痛い。 周囲を見ると、昨夜あれほど密集していた人びとがまばらだった。私は呑気に眠りこけていたが、みんなもう動き出しているようだ。 ちゃんと…

↓の続きです。 cut-elimination.hatenablog.com 空港の床で寝る覚悟を決めた私。屋内に戻り、エスカレーターで4階へ向かった。 4階フロアに着くと、すでに同じ覚悟を決めたたくさんの人たちがいた。何百人か何千人かわからないが、床に荷物を置いて場所を確…

↓の続きです。 cut-elimination.hatenablog.com JRが止まっていることに気づいた私。改札を越えてロビーにまで人が列を作っており、何時間も止まっていることがわかる。どうせすぐ動き出すだろうと楽観することはできない。 1階の到着ロビーからエスカレータ…

↓ニュースになっている通り、2026年1月25日、大雪の影響で新千歳空港に大勢の人たちが閉じ込められた。 news.yahoo.co.jp 私も閉じ込められたうちのひとりであった。北海道に越してきて5年、最大の事件である。これについてレポートします。 22日から私は仙…

東北大学がLLALという定期的な論理学の研究集会をやっており、それに招待していただいて講演というか発表をしてきた。 sites.google.com 雪で飛行機が飛ぶかどうか危ぶまれたが、大丈夫だった。家の水抜きを忘れたことに気づいてマンションの管理会社に電話…

私は高畑監督のアニメ『赤毛のアン』が大好きなのだけど、原作をまだ読んでいなかった。この度ようやく読んだ。『ハイジ』に続き。 ↓松本侑子という人の新しい訳。 赤毛のアン (文春文庫) 作者:L・M・モンゴメリ 文藝春秋 Amazon この前読んだ『ハイジ』は抄…

いろいろ紹介します。 白川晋太郎『ブランダム 推論主義の哲学』 以前にも読んだのだが再読。ブランダムの推論主義の解説書。ヒース『ルールに従う』を読んだおかげで、前よりもよくわかるようになったと思う。 cut-elimination.hatenablog.com 規範という概…

映画館のWebページを見たら今 敏監督『パプリカ』のリバイバルをやっていたので観てきた。ひさしぶりの鑑賞。映画館で観たのは初めてだった。 パプリカ 林原 めぐみ Amazon ひさしぶりに観て思ったのだが、笑えるシーンがけっこう多い。意外とユーモア映画で…

↓の続きです。 cut-elimination.hatenablog.com ずっと途中までしか読んでいなかった番外編漫画『藍渓鎮』を読んで、もう一回観てきた。『藍渓鎮』を読むと作中世界への理解が深まるぞ！ 藍渓鎮 羅小黒戦記外伝 （１） (単行本コミックス) 作者:孫呱 KADOKAW…

めちゃくちゃつまんなかった！！！！！ 迷宮のしおり (オリジナル・サウンドトラック) Universal Music LLC Amazon 全編にわたって何もかもがつまらなかった！ 『果てしなきスカーレット』で騒いでいる場合ではない。人生でもワーストクラスにつまらなかった…