[Top page] [日刊 研究最前線 知尋] [Discovery Saga総合案内] [大学別アーカイブス] [Discovery Saga会員のご案内] [産学連携のご案内] [会社概要] [お問い合わせ]

北陸先端科学技術大学院大学 研究シーズDiscovery Saga
研究キーワード:北陸先端科学技術大学院大学における「計算機科学」 に関係する研究一覧:1
2次検索
情報学 情報学複合領域 複合領域環境学 環境学数物系科学 数物系科学化学 化学生物学 生物学総合理工 総合理工工学 工学総合生物 総合生物農学 農学医歯薬学 医歯薬学
概要表示
折りたたむ
発表日:2025年3月10日
1
世界初!120年以上未解決だった難解パズルの証明に成功
120年以上にわたり未解決であった古典的な裁ち合わせパズルの解の最適性を世界で初めて証明しました。証明の技法から独自に開発したものであり、今後、多くの同種の問題が解けると期待できます。 北陸先端科学技術大学院大学(学長・寺野稔、石川県能...
キーワード:コンピューティング/計算機科学/情報学/ファイナンス/産学連携
他の関係分野:情報学複合領域