エントリーの編集
![loading...](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/common/loading@2x.gif)
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
メタ数学とソフトウェア科学の両輪で物理情報システムの検証に新手法 - NII SEEDs / 国立情報学研究所
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
![アプリのスクリーンショット](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/entry/app-screenshot.png)
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
メタ数学とソフトウェア科学の両輪で物理情報システムの検証に新手法 - NII SEEDs / 国立情報学研究所
蓮尾 一郎 アーキテクチャ科学研究系 准教授 来るべきIoT社会に備え、自動車などさまざまな工業製品の物... 蓮尾 一郎 アーキテクチャ科学研究系 准教授 来るべきIoT社会に備え、自動車などさまざまな工業製品の物理情報システムに対する品質保証をどうするかが、喫緊の課題となっている。 米国では10年以上前から大規模な国家予算を投じてこの研究が進められているが、蓮尾らは、全体を俯瞰する抽象数学の視点を取り入れて、この難題にチャレンジしている。 理論と応用を両方やることが何より楽しいし、面白い 「大学に入学したときは、将来数学や情報科学に進もうとは考えていなかった」という蓮尾だが、東京大学1年のときに論理学に出合う。「数学の定理を自動証明する機械が作れるか」というゲーデルの不完全性定理につながる講義で、高校数学でいろいろな証明問題に取り組んできた蓮尾は、「個別の証明を自力で書いているレベルよりも、さらに上の視点があることを知り」ショックを受けた。 その後、論理学と関連する計算機科学に進み、オランダのナ