2024-11-13
複圏〈オペラッド〉とプレ準同型射の圏
雑記/備忘
「論理や型理論の圏論的意味論 // 導出システムの圏と圏の圏」において、導出システム達を対象とする圏に触れました。しかし、導出システムのあいだの準同型射(それが圏の射となる)を素朴に考えていては、どうもうまくないようです。導出システムは、複圏…
複圏〈オペラッド〉とプレ準同型射の圏
週末のお出かけの記録(BOOK MEETS FUKUOKA、手塚治虫 ブラック・ジャック展)
『AIの倫理学』と対になるマーク・クーケルバーク『ロボット倫理学』邦訳が出ていた
『ザ・ブラックオニキス』の作者にして、テトリスを世界的ビジネスにしたヘンク・ロジャースの回顧録が来年出る
オアシス:ライヴ・アット・ネブワース 1996.8.10
2度目のはなればなれ
崩壊日記(第二出張所)
読者になる
Moleskin Diary 2.0
読者になる
リントのぶろぐ日記
読者になる
2024-02-01
Arm laptop
なんかいいやつないかな → ない
Cortex-X2 とか X3のが欲しいのだった。もちろん X4 でもいい。このぐらいになればもうx86に追い付いて普通に使えるのではという気がしたので。
Androidはある。
Wikipediaを見れば一覧あったわ。
https://en.wikipedia.org/wiki/List_of_products_usi
Kazzz 2013-04-10 21:15 読者になる
Kazzz 2013-04-10 00:00 読者になる
Kazzz 2013-04-09 00:00 読者になる
Kazzz 2013-04-07 00:00 読者になる
Kazzz 2013-04-06 00:00 読者になる
Kazzz 2013-04-05 00:00 読者になる
Kazzz 2013-04-04 00:00 読者に
shinichiro_h 2023-08-27 16:00 読者になる
wami 2012-06-17 00:00 読者になる
wami 2012-06-17 00:00 読者になる
wami 2009-02-25 00:00 読者になる
wami 2009-02-19 00:00 読者になる
wami 2009-02-17 00:00 読者になる
wami 2008-06-17 00:00 読者になる
wami 2008-06-17 00:00 読者になる
yaneurao 2015-02-18 00:00 読者になる
Smalltalk-72で遊ぶOOPの原点:組み込みコレクションにeach変数が使える「do」を新たに追加する
2022-08-08
データ解釈学入門を読んだ - 2022 夏休み
統計検定2級や Kaggle で学んだものたちの隙間を埋めてくれる良い本だった。どことは言わないが、読んでいる途中に仕事のことを思い出す記述があり背筋がピンと伸びた。以下雑多なメモ。
分析者のためのデータ解釈学入門 データの本質をとらえる技術
作者:江崎貴裕
ソシム
Amazon
測りやすいデータが選ばれがち。
データを歪めるモ
このブログについて
FAQ / お問い合わせ窓口
FAQ / お問い合わせ窓口
fnsmasao20102020/03/18 22:45日記のエクスポートデータは届きましたが、掲示板やタスクのエクスポートデータはまだでしょうか?
この広告は、90日以上更新していないブログに表示しています。