▽近況報告：よみもの専科
●12/21 20:42
12/20　だから油断をしていいってわけじゃないけど単行本最終第三巻のまえがきとあとがきを書き､編集部さんに納品する｡これにて本編の作業は実質的にすべて完了し､残すは来年にかけての外伝の校正のみとなる｡一応の達成感はあるものの､ﾘﾘｰｽまでｾﾙﾌﾁｪｯｸなどで修正が発生する可能性もあって､やはりﾃﾞｼﾞﾀﾙﾈｯﾄﾜｰｸ時代のﾘﾘｰｽ形態においてはできうる限りのｹｱが必要だし､できうる限り対応はしていきたいと思う｡

▽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

▽TidBITS 日本語版
●12/19 10:29
1736 本文16-Dec要旨TidBITS 日本語版#1736: 12 月の OS ｱｯﾌﾟﾃﾞｰﾄでさらなる Apple Intelligence 機能､Siri の ChatGPT 統合､TidBITS 会員になってご支援を､ﾌﾞｰﾄ可能ﾊﾞｯｸｱｯﾌﾟが壊れる年末のﾎﾘﾃﾞｰが近づいたので､TidBITS 電子ﾒｰﾙ号を2週間休刊とさせて頂く｡次号の電子ﾒｰﾙ版 TidBITS は 2025 年 1 月 6 日発行の予定だ｡ﾎﾘﾃﾞｰの贈り物ﾑｰﾄﾞになられたなら､どうか会員になって TidBITS を毎週お届けし続けるための力となって頂けないだろうか？ さて､今週号では macOS 15.2 Sequoia､iOS 18.2､iPadOS 18.2 で約束されていた Apple Intelligence 機能に焦点を当てるとともに､これらのｵﾍﾟﾚｰﾃｨﾝｸﾞｼｽﾃﾑに､加えて watchOS

▽天泣記
●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
西区役所における自動販売機(証明写真)設置に係る入札のお知らせ西区役所及び山田支所における自動販売機(清涼飲料水)設置に係る入札のお知らせ