Front Runner 挑む(第151回)蓮尾一郎 ソフトの安全保証 数学に「解」探る
書誌事項
- タイトル別名
-
- Front Runner イドム(ダイ151カイ)レン ビ イチロウ ソフト ノ アンゼン ホショウ スウガク ニ 「 カイ 」 サグル
この論文をさがす
収録刊行物
-
- 日経サイエンス
-
日経サイエンス 54 (9), 14-17, 2024-09
東京 : 日経サイエンス ; 1990-
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1520019523882598656
-
- NII書誌ID
- AN10202348
-
- ISSN
- 0917009X
-
- NDL書誌ID
- 033611630
-
- 本文言語コード
- ja
-
- NDL 雑誌分類
-
- ZM1(科学技術--科学技術一般)
-
- データソース種別
-
- NDLサーチ