検証的なアンテナ

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

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

1. 2024/05/04 11:35:31 檜山正幸のキマイラ飼育記

   2024-05-03
   構造記述のための指標と名前 2/n 圏の記述
   雑記／備忘
   「構造記述のための指標と名前 1/n 基本」で、指標を使って構造を記述する方法の基本を述べたので、実際にその方法を使って構造（代数系）を記述してみます。例題は小さい圏です。小さい圏を指標で記述するので、ターゲット〈標的環境〉は集合圏です。集合圏…
   構造記述のための指標と名前 2/n 圏の記述
   
2. 2024/04/28 06:51:29 仕様検証グループ - tk80の日記

   5月9日(木) 6:00-7:00　データベースメンテナンス実施に伴うユーザー登録・ログインなど一部機能の停止について
   

3. 2024/04/27 22:04:07 仕様検証グループ - TrueLogic 仕事日記

   5月9日(木) 6:00-7:00　データベースメンテナンス実施に伴うユーザー登録・ログインなど一部機能の停止について
   

4. 2024/04/27 15:43:08 仕様検証グループ - Software Abstractions

   5月9日(木) 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 (