気に入った記事をブックマーク
- 気に入った記事を保存できます
保存した記事の一覧は、はてなブックマークで確認・編集ができます
- 記事を読んだ感想やメモを書き残せます
- 非公開でブックマークすることもできます
エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
0
記事へのコメント0件
- 注目コメント
- 新着コメント
新着コメントはまだありません。
このエントリーにコメントしてみましょう。
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
いまの話題をアプリでチェック！
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
マイクロコスモ原理とクリーネ構造 - 檜山正幸のキマイラ飼育記
昨日の記事は妄想に近い話でしたね。とりとめのない雑感／思いつき／妄想のたぐいは、積極的に書こうと... 昨日の記事は妄想に近い話でしたね。とりとめのない雑感／思いつき／妄想のたぐいは、積極的に書こうとは思わないのだけど、後でなんかのヒントになる可能性がある事は書き留めておこうかな、と。 十数年前から、クリーネ代数にある種の“違和感”をいだいているんですよ。マイクロコスモ原理により、その違和感の正体がわかるかも知れない。（分からないかも知れない。） 内容： クリーネ代数 クリーネ行列とクリーネ圏 クリーネ圏とクリーネ構造のタワー クリーネ代数 このブログは2005年初頭から始めました。始めた当時から最近まで、散発的にクリーネ代数〈Kleene algebra〉の話題を取り上げています。クリーネ代数は、形式言語やプログラムの意味論に使えます。よく出来た代数系だと思うのですが、一方で、「なんか違う」感がつきまとってました。その“違和感”に言及した記事を3つ挙げれば： 2012年 テスト付きクリーネ
ブックマークしたユーザー
すべてのユーザーの
詳細を表示します
詳細を表示します
