|
|
|
|
|
||
|
||
アメリカは内戦に向かうのかの思考実験
年末に行ったある講演の文字起こしが送られてきた。２時間近くした話のうち、アメリカにかかわる２０分くらいのところを切り取っ...
2026-02-11 mercredi
New 編集を通して未知の自分になっていく【ISIS co-missionメ…
[今日の絵] 2月前半
[オペラ] R.シュトラウス《アラベッラ》 Metライブ
ランダウの奇跡
2026-01-22
型コスモロジー： 型宇宙、型銀河、ユグドラシル
雑記／備忘
最近の証明支援系／プログラミング言語では、通常の型システムの上位に宇宙システム（ソートシステムともいう）を備えたものがあります。2023年の記事「最近の型理論： 宇宙と世界、そして銀河」の冒頭を引用すると： Lean（最新版はLean 4）は強力な型シス…
型コスモロジー： 型宇宙、型銀河、ユグドラシル
【追記（2026年1月21日）】
ベンジャミン・クリッツァー氏の評がBlueskyにあるのを見つけました→
『 「科学的に正しい」とは何か』 リー・マッキンタイア www.newtonpress.co.jp/book/shinsho... 土曜日に読み始め、火曜日の朝に読み終わり。 原題のThe Scientific Attitudesが示す通り、「科学的方法」とはこれだなんて示すことは不可
お知らせ 【gooブログからの移行がまだの方へ】画像データ移行を確実にするために10月末日までにインポート手続きをお願いします
『チーム・オベリベリ』。女の強さを生き生きと描いている
最近読んだ北海道の本
札幌に引っ越してから相も変わらず、北海道の本を貪るように読んでいる。懸念していた「移住して北海道への熱が冷めやしないか」という事項は杞憂だったようで、かえって興味が増す一方だ。考えてみれば当然で
この広告は、90日以上更新していないブログに表示しています。
hisako9618 at 20:45｜Permalink│Comments(7)│clip!
ぁまんにょですぅ〜
読者になる
Web検索
検索用語を入力
Web 当blog内
検索フォームを送信
AAAS
www.sciencemag.org
We’re sorry but 新書マップ doesn’t work properly without JavaScript enabled. Please enable it to continue.
指定されたページがみつかりませんでした
大変申し訳ありません。お探しのページが見つかりませんでした。
名前が変更されたか、移動したか、削除された可能性があります。
容量たっぷり、テンプレートも豊富なgooでブログはじめよう
※このページは10秒後に自動転送します。
転送されない場合は、下記リンクをクリックしてください。
goo ブログ トップ | goo トップ
goo blogをはじめる
ブログ
404 Blog is not found
お探しのページは見つかりませんでした。
はてなブログ トップ
はてなブログ ヘルプ
はてなブログとは
アプリ
テーマ ストア
旬のトピック
グループ
著名人ブログ
はてなブログ アカデミー
今週のお題
機能変更・お知らせ・ヘルプ
はてなブログ開発ブログ
週刊はてなブログ
ヘルプ
障害情報
お問い合わせ窓口
利用規約
プライバシーポリシー
はてなブログの活
アクセスが許可されておりません。
You don’t have permission to access the requested page.
AFFRIT Portal
農林水産研究情報総合センター/Agriculture, Forestry and Fisheries Research Information Technology Center
Page not found
Sorry, the page you were looking for in the blog TOC(制約条件の理論)こぼれ話 does not exist.
Go to blog homepage
Help C
(C) 結城浩