検証的なアンテナ

すべて | ツール | 個人 | 組織、企業、団体 | 日記 | 理論 | メタ情報

おとなりアンテナ | おすすめページ

1. 2024/11/14 05:43:01 檜山正幸のキマイラ飼育記

   2024-11-13
   複圏〈オペラッド〉とプレ準同型射の圏
   雑記／備忘
   「論理や型理論の圏論的意味論 // 導出システムの圏と圏の圏」において、導出システム達を対象とする圏に触れました。しかし、導出システムのあいだの準同型射（それが圏の射となる）を素朴に考えていては、どうもうまくないようです。導出システムは、複圏…
   複圏〈オペラッド〉とプレ準同型射の圏
   
2. 2024/10/31 07:12:50 仕様検証グループ - Software Abstractions

   【完了】10月28日（月）6:00-7:00　データベースメンテナンス実施に伴うはてな各サービス停止についてのお知らせ
   

3. 2024/10/28 17:49:43 仕様検証グループ - tk80の日記

   【完了】10月28日（月）6:00-7:00　データベースメンテナンス実施に伴うはてな各サービス停止についてのお知らせ
   

4. 2024/10/28 17:34:09 仕様検証グループ - TrueLogic 仕事日記

   【完了】10月28日（月）6:00-7:00　データベースメンテナンス実施に伴うはてな各サービス停止についてのお知らせ
   

5. 2024/03/28 09:05:47 にわとり小屋でのプログラミング日記

   にわとり小屋でのプログラミング
   読者になる
   

6. 2023/02/16 10:15:04 Game Scripting Memo

   ▼ ▶
   2015
   2015 / 9
   2015 / 6
   ▼ ▶
   2014
   2014 / 11
   ▼ ▶
   2013
   2013 / 8
   2013 / 7
   2013 / 6
   2013 / 1
   ▼ ▶
   2012
   2012 / 6
   ▼ ▶
   2011
   2011 / 5
   2011 / 3
   2011 / 2
   ▼ ▶
   2010
   2010 / 9
   2010 / 4
   2010 / 1
   ▼ ▶
   2009
   2009 / 11
   

7. 2023/02/13 20:05:33 sumiiの日記

   ▼ ▶
   2012
   2012 / 10
   ▼ ▶
   2011
   2011 / 8
   ▼ ▶
   2010
   2010 / 2
   2010 / 1
   ▼ ▶
   2009
   2009 / 11
   2009 / 10
   2009 / 9
   2009 / 8
   2009 / 7
   2009 / 6
   2009 / 5
   2009 / 4
   2009 / 3
   2009 / 2
   2009 / 1
   ▼ ▶
   2008
   2008 / 12
   2008 /

8. 2021/11/21 20:58:06 d.y.d.

   22:22 21/11/20
   ボレロ村上(村上原野)さんと constexpr のこと
   去る2020年2月、縄文陶芸家にしてC++プログラマという希有な二つの顔を持つ人物がこの世を去りました。 ボレロ村上 (村上原野) 氏です。
   正直なところ、陶芸家としての彼の側面については私はほとんど何も知らないに等しいです。
   残された作品を見て何かを語れるほど芸術に通じているわけでもありません。
   いつか機会が

9. 2014/05/07 21:27:13 ヒビルテ

   本日のツッコミ(全2件) [ツッコミを入れる]
   ψ さかい [おお。知らなかったです。ありがとうございます！]
   Tags: haskell machine-learning
   Tags: haskell machine-learning optimization
   Tags: haskell machine-learning optimization
   さかい (05-07)
   metaphusika (