北陸先端科学技術大学院大学 研究シーズ|
検索したキーワードがページ内でハイライトします。
| RESET |
研究キーワード：北陸先端科学技術大学院大学における「データ構造」 に関係する研究一覧：2件
概要表示
折りたたむ
発表日：2025年7月2日
1
世界的数理科学者が北陸先端科学技術大学院大学に着任
―MITとのクロスアポイントメントによる先端数理・折り紙研究の国際連携が始動－
北陸先端科学技術大学院大学（学長・寺野稔、石川県能美市）は、2025年6月20日付で、世界的な数理科学者であるDEMAINE, Erik（ドメイン・エリック）教授を先端科学技術研究科の教授として迎えました。本件は、マサチューセッツ工科大学（MIT）とのクロスアポイントメント制度に基づくものであり、本学における世界水準の研究・教育体制のさらなる強化を目的としています。 DEMAINE教授は、わずか20歳で博士号を取得し、同年MITにて准教授に就任した"ギフテッド"な研究者として知られています。計算幾何学の一分野「計算折り紙（Computational Origami）」の創始者の一人であ...
キーワード：アルゴリズム理論/コンピューティング/計算幾何/計算幾何学/アルゴリズム/分散計算/創造性/幾何学/数理科学/材料設計/データ構造/ロボティクス/インフォマティクス
他の関係分野：情報学複合領域数物系科学工学総合生物
概要表示
折りたたむ
発表日：2025年5月7日
2
バグの無いソフトウェアを開発するための技術：証明スコア
証明スコアは、バグの無いソフトウェアを開発するための技術の一つとして注目されている技術過去数十年に渡り研究されてきた証明スコアによる形式検証の概観をまとめた証明スコアの弱点及び克服方法を示すとともに、より多くの研究者に普及させるための改善案の提案...
キーワード：コンピューティング/プログラミング/プログラミング言語/プロトコル/暗号プロトコル/形式検証/開発環境/論理学/量子暗号/数学モデル/インタラクティブ/データ構造/生活の質
他の関係分野：情報学複合領域数物系科学工学