Hiroyuki Miyoshi's Avatar

Hiroyuki Miyoshi

@metaphusika

Research interests: mathematics (category theory, mathematical logic, etc.), theoretical computer science, philosophy of computation.

83
Followers
42
Following
8
Posts
25.07.2023
Joined
Posts Following

Latest posts by Hiroyuki Miyoshi @metaphusika

The origin of CAR and CDR in LISP

car cdrを命名したのもスティーブ・ラッセルだったのか
www.iwriteiam.nl/HaCAR_CDR.ht...

29.12.2024 01:48 👍 4 🔁 2 💬 0 📌 0

「赦す(ゆるす)」ということの、のたうちまわるような切実さについては、最近『当事者は嘘をつく』(小松原織香著)を読んで考えさせられました。https://www.chikumashobo.co.jp/product/9784480843234/

30.12.2024 16:23 👍 1 🔁 0 💬 0 📌 0

非常勤の帰りに気が向いたら寄るだけなので記憶に自信がなかったのですが、そんな感じなんですね。まあ個人的体感では関西では理研の存在感は関東に比べると薄いように感じます。

31.01.2024 00:57 👍 0 🔁 0 💬 0 📌 0

出版後すぐの頃にルネで見かけたような気がしますが気のせいかもしれません

31.01.2024 00:07 👍 0 🔁 0 💬 1 📌 0

大谷翔平に続き山本由伸もDodgersとのこと。野茂英雄が入団した時のことを思い出します。デビュー戦は録画したはず。

22.12.2023 05:02 👍 0 🔁 0 💬 0 📌 0

私も初期の頃好んで読んでいましたが、一時期見かけなくて復活したら全然作風が変わっていましたね。

24.08.2023 06:04 👍 0 🔁 0 💬 0 📌 0

こういうXだと荒れそうな話題もBlueskyだと気楽に投稿できるな。

23.08.2023 19:09 👍 0 🔁 0 💬 0 📌 0

甲子園優勝で沸く慶應義塾高等学校ですが、慶應の中高は色々あるので整理すると:
・慶應義塾普通学科(旧制中学校1898)(後に普通部と改称)
┳ 普通部(新制中学校1948)
┣ 第一高等学校(新制高等学校1948)┓
┗ 第二高等学校(新制高等学校1948)┻ 高等学校(改称統合1949)
・慶應義塾商工学校(旧制実業学校1905)━ 慶應義塾中等部(新制中学校1948)
・慶應義塾女子高等学校(1948)
・慶応義塾農業高等学校(1948)━ 志木高等学校(普通科転換1957)
・(ニューヨーク校、SFCは略)
といったことらしい。だから中等部や志木高に対して微妙な空気があったのか。

23.08.2023 18:59 👍 0 🔁 0 💬 1 📌 0

先月紙の新聞の購読を止めました。新型コロナウィルス感染症流行初期に、配達されてから時間をおいて読むように家人に言われて、それに従っていたら溜まってしまい実質読んでいませんでした。ニュースの類はスマートフォンで読んでいたので、あまり不便を感じていなかったのですが、販売店のミスで数日間配達が止まったのがきっかけで思い切って止めてしまいました。子供の頃から紙の新聞を読む習慣が続いており、今住んでいる家の情報も新聞広告から得たので多少感傷的ではありますが、まあやむを得ないという感想です。

13.08.2023 08:41 👍 3 🔁 0 💬 0 📌 0