▽blog.jxck.io
●07/26 05:12
2025-07-25 1Password と遺言保管制度を用いたﾃﾞｼﾞﾀﾙ終活2025-07-24 親にｴﾝﾃﾞｨﾝｸﾞﾉｰﾄを書いてもらう

▽ときどきの雑記帖 ﾘﾀｰﾝｽﾞ
●07/25 08:44
Runner暑い ﾐﾝﾐﾝｾﾞﾐの鳴き声も聞こえるように｡ ﾂｸﾂｸﾎﾞｳｼはまだ｡ 近しい ﾗｼﾞｵやTVでも｢誤用｣の方を耳にする機会がちらほら出てきて､ どうやら

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

▽はじめてのにき
●07/11 00:13
2025-07-09_ ﾁｰﾑﾗﾎﾞﾌﾟﾗﾈｯﾂ会社のﾊﾞｰﾍﾞｷｭｰが豊洲であり､そういうのに積極的に参加したい気分になってる身としては行く一択なんだけど､東京の西の方民としては､遠すぎるやろ！があり､ついでに一泊して､翌日近くの観光地に行くことにした｡選ばれたのがﾁｰﾑﾗﾎﾞﾌﾟﾗﾈｯﾂてやつだったﾁｰﾑﾗﾎﾞﾌﾟﾗﾈｯﾂ､これは本当に良かった｡正直感動するﾚﾍﾞﾙだったんだけど､ちょっと書かないと説明になってないやつだと思う｡まあ別にずっと存在する施設なので､今さらお前が感動してても……なやつなんだけどぼくはﾒﾃﾞｨｱｱｰﾄってのがふんにゃりと好きというのが､まずある｡時間層とか､ ICC ってとこで､結構長い時間ぼんやりと眺めてたと思う｡冷静に考えると､当時の視点で見ても､あれは､｢そういうこと(ｽﾄﾛﾎﾞﾊﾟｼｬﾊﾟｼｬｱﾆﾒ)は､可能です｣的な意味以上のことがあるのか､あったのか､謎だけど……

▽2008年 6月 (2)｡
●07/09 09:34
Last Modified: Tue Jul 8 21:56:34 UTC 2025あいかわらずｱｯﾁｺﾞﾝ 2025-07-09 [Wed] 06:50もうこの時刻で30度近いし｡あいかわらず暑いと頭がぜんぜんｻｴない (べつに暑くなくてもｻｴてないのだが､あくまで感じ方の問題だ!)｡とかいったところで子供が起きてきた｡もう時間だ｡