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

▽L’eclat des jours
●06/08 11:39
2025-05-24_ 蝶々夫人新国立劇場で蝶々夫人｡今回､下手3階席で観たのだが､これまで気づかなかった家の仕掛けに初めて気づいて（あるいはｽﾙｰしていただけかも）演出の妙に唸らされた｡家の上手の角に柱がにょきっと立っていて､屋根をつけないことと後ろの襖の組み合わせで日本家屋らしさを抽象的に表現しているのだと考えていたのだがそうではなかった｡2幕でﾋﾟﾝｶｰﾄﾝをあきらめるように膝を折って座っているｽｽﾞｷに対して佇立して否定する蝶々夫人を､下手からﾗｲﾄを当てることで､上手に柱をはさんで影絵芝居となるように仕組まれていたのだった｡それで位置がきちんと合うように､蝶々夫人が立つ位置に落ち花がこんもりと積まれていたのか｡結果として柱が壁となり､影絵の世界では現実世界に戻るように懇願するｽｽﾞｷと､壁のあちら側でそれを完全に拒否する蝶々夫人という構図が現れる｡この影絵芝居があることで

▽きしだのはてな
●06/05 19:53
2025-06-05OuteTTSでﾃｷｽﾄの音声化を試すOuteTTSというののv1.0が出てたので試してみました｡前回のﾌﾞﾛｸﾞ内の文章を適当に読ませてみました｡風邪ひいてるときに読んだﾏﾝｶﾞ - きしだのHatena｢勇者｣｢美女｣を読めなかったり｢平和｣が｢ﾋﾟﾝﾌ｣になったりするので､書き換えています｡あと､英語女性話者のﾌﾟﾛﾌｧｲﾙしかないので､英語訛りになってますね｡OuteTTSというT2Sﾓﾃﾞﾙを試すけど､日本語の読み上げは微妙･･･なんか以前のﾊﾞｰｼﾞｮﾝにあった日本語話者ﾌﾟﾛﾌｧｲﾙとかがなくて､英語女性話者しかない｡ pic.twitter.com/PT6b0mlcta— きしだൠ(K1S) (@kis) 2025年6月5日ということで､｢勇者を暗殺するために･･･｣の一文を読み上げて食わせてみたら､なんか訛りが入りつつそれっぽく話しています｡なんか適

▽檜山正幸のｷﾏｲﾗ飼育記
●06/04 14:31
2025-06-04色々な包含的圏雑記／備忘包含的圏〈inclusive category〉の定義は人により色々です｡型理論やｲﾝｽﾃｨﾁｭｰｼｮﾝ理論に使うことを目的にして､包含的圏に関して整理しておきます｡$`\newcommand{\cat}[1]{\mathcal{#1}} \newcommand{\mrm}[1]{\mathrm{#1}} \newcommand{\mbf}[1]…2025-06-03関係とﾌｧﾐﾘｰのあいだの関係雑記／備忘｢導出系：反省と課題 // ｿｰﾄ付き集合の圏は変わる｣において､ｿｰﾄ付き集合達の圏 $`\mathbf{SortedSet}`$ を導入したのですが､その定義は関係をﾍﾞｰｽにしています｡関係をﾍﾞｰｽにした定義は､どうも分かりにくいし扱いにくいので､ﾌｧﾐﾘｰ〈集…色々な包含的圏関係とﾌｧﾐﾘｰのあいだの関係2025 /

▽Ryuzee.com
●05/10 15:35
ｽｸﾗﾑがﾌｨｰﾁｬｰﾌｧｸﾄﾘｰ化しているｻｲﾝｽｸﾗﾑ (172)ﾌﾞﾛｸﾞryuzeeによるﾌﾞﾛｸﾞ記事｡不定期更新ﾌﾞﾛｸﾞ2025/05/08ｽｸﾗﾑがﾌｨｰﾁｬｰﾌｧｸﾄﾘｰ化しているｻｲﾝみなさんこんにちは｡@ryuzeeです｡｢ﾌｨｰﾁｬｰﾌｧｸﾄﾘｰ｣は､ﾌﾟﾛﾀﾞｸﾄﾏﾈｼﾞﾒﾝﾄの専門家であるｼﾞｮﾝ･ｶﾄﾗｰ（John Cutler）1が2014年に使い出した単語です｡日本語にすると機能工場となり､単に与えられた要求をひたすら作り続けたり､ｱｳﾄｶﾑやｲﾝﾊﾟｸﾄよりも､作った機能の量や出荷ｽﾋﾟｰﾄﾞだ … ……続きを読む2025ｽｸﾗﾑ