▽近況報告：よみもの専科
●12/22 12:05
12/21　編集部さんには申し訳ないのだけど健康診断を前にして､今日と明日は二日続けての休肝日とする｡わかっている｡付け焼き刃という言葉は｡ひみつく本編で認識が甘かった箇所があったので､公開分も含めて修正を編集部さんにお願いする｡もちろんのこと､専門家の監修など受けていない本作は､専門性については私の知識の限界が随所に露呈してるのは覚悟済みだけど､せっかくのﾃﾞｼﾞﾀﾙﾘﾘｰｽなので､手直しできる点についてはできるだけ対応していくたいと思う｡

▽Yucchiy's Note
●12/20 07:32
December 18, 2024Unity Weekly 2032024/12/16週のUnity Weeklyです｡Advent Calendar､Unity 6､Android XRなどについて取り上げています｡Unity WeeklyUnity2024/07/01週のUnity Weeklyです｡GraphicsStateCollection Tracing and Warmup､Unity 2022 LTS日本語ﾛｰｶﾗｲｾﾞｰｼｮﾝなどについて取り上げています｡2024/04/08週のUnity Weeklyです｡Ziva､Chromebook & Chrome OS runtime support､Shader Graph Sprite Outlineなどについて取り上げています｡2024/01/29週のUnity Weeklyです｡Hugging Face x U

▽天泣記
●12/05 11:39 田中哲
2024-12-03 (Tue)#1 Coq-Equations の depelim tacticCoq-Equations にｲﾝﾃﾞｯｸｽ付き帰納型の場合分けを行う depelim tactic があるという話を見かけたので､eq_irrelevance とかを証明してみた｡なお､Equations は Agda みたいなﾊﾟﾀｰﾝﾏｯﾁで関数を定義できるようにするというのが主目的のﾊﾟｯｹｰｼﾞだが､depelim はそういう定義とは関係なく利用できる｡以前 vanilla Coq や SSReflect でｲﾝﾃﾞｯｸｽ付き帰納型の場合分けを行う方法を考えたが､簡単になるだろうか｡まず､eq_irrelevance は問題なく証明できる｡ただし､sigT でなく､独自の sigma 型を使っているようだ｡(理由はよく分からない)あと､depelim が勝手に hypothes

▽名古屋市:ようこそ西区へ（西区）
●12/05 01:33
西区役所における自動販売機(証明写真)設置に係る入札のお知らせ西区役所及び山田支所における自動販売機(清涼飲料水)設置に係る入札のお知らせ

▽NAKAMURA Minoru’s Diary (2012年2月)
●11/21 16:43 中村実
11/16 (土)[Movie] ｸﾞﾗﾃﾞｨｴｰﾀｰⅡ 英雄を呼ぶ声ﾑｰﾋﾞﾙで｢ｸﾞﾗﾃﾞｨｴｰﾀｰⅡ 英雄を呼ぶ声｣(原題: Gladiator II)の字幕版を見た｡古代ﾛｰﾏが舞台の映画は｢ﾎﾟﾝﾍﾟｲ｣以来だが｡今回は首都ﾛｰﾏが舞台だ｡ｺﾛｯｾｵを水で満たして模擬海戦をするというのはｲﾝﾊﾟｸﾄがあったが､実際にやったことがあったらしい｡11/10 (日)[Movie] 劇場版 進撃の巨人 完結編 THE LAST ATTACKﾁﾈﾁｯﾀで｢劇場版 進撃の巨人 完結編 THE LAST ATTACK｣で字幕版を見た｡ただし Kudu ではﾃﾞﾊﾞｯｸﾞ情報を取得できるが､ｱﾌﾟﾘの配備操作はできない｡ｱﾌﾟﾘの配備は Azure CLI を使うことで SCM API 経由で行うことができる｡ただし Azure CLI では Basic 認証を使うことができない｡11/8 (金)