Hiroyuki Miyoshi
metaphusika.bsky.social
Hiroyuki Miyoshi
@metaphusika.bsky.social
Research interests: mathematics (category theory, mathematical logic, etc.), theoretical computer science, philosophy of computation.
Reposted by Hiroyuki Miyoshi
car cdrを命名したのもスティーブ・ラッセルだったのか
www.iwriteiam.nl/HaCAR_CDR.ht...
The origin of CAR and CDR in LISP
www.iwriteiam.nl
December 29, 2024 at 1:48 AM
「赦す(ゆるす)」ということの、のたうちまわるような切実さについては、最近『当事者は嘘をつく』(小松原織香著)を読んで考えさせられました。https://www.chikumashobo.co.jp/product/9784480843234/
December 30, 2024 at 4:23 PM
大谷翔平に続き山本由伸もDodgersとのこと。野茂英雄が入団した時のことを思い出します。デビュー戦は録画したはず。
December 22, 2023 at 5:02 AM
甲子園優勝で沸く慶應義塾高等学校ですが、慶應の中高は色々あるので整理すると:
・慶應義塾普通学科(旧制中学校1898)(後に普通部と改称)
┳ 普通部(新制中学校1948)
┣ 第一高等学校(新制高等学校1948)┓
┗ 第二高等学校(新制高等学校1948)┻ 高等学校(改称統合1949)
・慶應義塾商工学校(旧制実業学校1905)━ 慶應義塾中等部(新制中学校1948)
・慶應義塾女子高等学校(1948)
・慶応義塾農業高等学校(1948)━ 志木高等学校(普通科転換1957)
・(ニューヨーク校、SFCは略)
といったことらしい。だから中等部や志木高に対して微妙な空気があったのか。
August 23, 2023 at 6:59 PM
先月紙の新聞の購読を止めました。新型コロナウィルス感染症流行初期に、配達されてから時間をおいて読むように家人に言われて、それに従っていたら溜まってしまい実質読んでいませんでした。ニュースの類はスマートフォンで読んでいたので、あまり不便を感じていなかったのですが、販売店のミスで数日間配達が止まったのがきっかけで思い切って止めてしまいました。子供の頃から紙の新聞を読む習慣が続いており、今住んでいる家の情報も新聞広告から得たので多少感傷的ではありますが、まあやむを得ないという感想です。
August 13, 2023 at 8:41 AM