gszsatoのｱﾝﾃﾅ - はてなｱﾝﾃﾅ

▽檜山正幸のｷﾏｲﾗ飼育記
●07/19 06:00
2025-07-18圏論的構造のﾄﾞﾘﾙﾀﾞｳﾝ雑記／備忘簡単な呼び名･言い回しで実は複雑な内容を語っていることがあります｡簡単な呼び名･言い回しを､ﾄﾞﾘﾙﾀﾞｳﾝ（だんだん詳細化する）方式で分析してみましょう｡例えば｢小さな圏の圏の2-圏｣は､けっこう複雑な内容を表しています｡$`\newcommand{\cat}[1…2025-07-17演繹とは何なのか？計算可能な図式間関数雑記／備忘｢判断的ｾｵﾘｰと判断計算｣で紹介したｺﾗﾘｱ／ﾃﾞｨ-ﾘﾍﾞｰﾙﾃｨの論文 "Context, Judgement, Deduction" は､｢演繹〈deduction〉とは何なのか？｣をﾃｰﾏにしています｡｢ﾒﾘｽ／ｼﾞﾙﾊﾞｰｶﾞｰの圏論的判断計算｣で紹介したﾒﾘｽ／ｼﾞﾙﾊﾞｰｶﾞｰの論…｢属性付き2-ｸﾞﾗﾌのｽﾉｰｸﾞﾛｰﾌﾞ現象｣に書いたように､属性付き2-ｸﾞﾗﾌではﾒﾀ巡回〈循環〉的状況が生じます

▽ひら
●07/16 12:29
ﾘﾋﾟ買いしたNine Storiesのﾌﾞｯｸﾎﾟｰﾁ｡母にもﾌﾟﾚｾﾞﾝﾄ2025年上半期買ってよかったもの大賞あっという間に上半期が終わってしまった｡今年に関しては4月以降の加速度がすごかった｡春になるくらいまでは｢なんかゆっくりのんびりしてるかも｣とか思っていたが､普通に仕事が暇だったからかもしれません｡仕事がﾊﾞﾀついた4月以降は普通に光陰矢の如しだった…稼いだ金全部使うｳｰﾏﾝ買ってよかったもの大賞1950年竣工の多目的ｺﾝｸﾘｰﾄﾀﾞﾑ｡"THE昭和な感じ"｡山口20 厚東川（ことうがわ）ﾀﾞﾑ体力もほとんど戻ってきた感じなので､昨年入院することになって断念した山口県西部へ1泊2日のﾀﾞﾑめぐりに行ってきました｡梅雨が早く明けた途端､西日本は連日の猛暑日｡熱中症や突然の雷雨の危険もあり､はっきり言ってﾀﾞﾑ活には不向きなｼｰｽﾞﾝです｡しかし…ﾀﾞﾑのほそ道山口ﾀﾞﾑめぐり

▽きしだのはてな
●07/15 23:44
※ 追記3WEB+DB PRESS 132の内容はこんな感じ｡みんな大好きいぬねこｸﾗｽの絵は残念ながら載せれていません｡いぬねこ哺乳類ｸﾗｽは｢抽象ｸﾗｽがなにか｣という説明だけにはいいと思っています｡｢ｵﾌﾞｼﾞｪｸﾄ指向神話からの脱却｣という特集をWEB+DB PRESSで書きました - きしだのHatena※ 追記4 ｱﾗﾝ･ｹｲのｵﾌﾞｼﾞｪｸﾄ指向は､基本的にｺﾝｾﾌﾟﾄだけで実用化されていなくて､ｼｽﾃﾑ開発に適用できるようにした結果がｱﾗﾝ･ｹｲではないほうのｵﾌﾞｼﾞｪｸﾄ指向だとおもいます｡Smalltalkも普及のために手をいれたらC++と同じｵﾌﾞｼﾞｪｸﾄ指向になっていて､ｱﾗﾝ･ｹｲは自分の手を離れたと言ってます｡ｵﾌﾞｼﾞｪｸﾄは小さいｺﾝﾋﾟｭｰﾀであるべきと言ってることや､Erlangが元々のｱｲﾃﾞｱに近いと言ってることから､ｱｲﾃﾞｱとして非同期通信ﾓﾃﾞﾙであるともいえる