「Hugo_(ソフトウェア)」を解説文に含む見出し語の検索結果(21～30/97件中)
アマル・エル＝モフタールAmal El-Mohtar2017年のエル＝モフタール誕生 (1984-12-13) 1984年12月13日（40歳）職業作家言語英語ジャンルサイエンス・フィクション、ファン...
2005年のACMソフトウェアシステム賞のトロフィACMソフトウェアシステム賞（ACM Software System Award）は、「概念面あるいは商業面、または両面における成功で長きに渡って影響...
Coq作者フランス国立情報学自動制御研究所, パリ第7大学, エコール・ポリテクニーク, パリ第11大学, リヨン高等師範学校初版4.10 (1989年)最新版9.0.0 / 2025年3月12日&#...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
ネットワーク・エフェクト著者マーサ・ウェルズ訳者中原尚哉イラストJaime Jones安倍吉俊発行日2021年3月30日2021年10月12日（日本）発行元en:Tor.com東京創元社ジャンルサイエ...
ブルーフカ法（ブルーフカほう、英: Borůvka's algorithm）とは、グラフ理論で重み付き連結グラフの最小全域木を求める最適化問題のアルゴリズムである。概要このアルゴリズムは192...
「喪の山」（The Mountains of Mourning）は、アメリカの作家ロイス・マクマスター・ビジョルドによるサイエンスフィクションの中編小説[1][2]。本...
「喪の山」（The Mountains of Mourning）は、アメリカの作家ロイス・マクマスター・ビジョルドによるサイエンスフィクションの中編小説[1][2]。本...
パルサータイミングアレイ (英語: Pulsar timing array, PTA) は重力波の検出のための物理学実験とその施設である[1]。広く分布したミリセカンドパルサー...
パルサータイミングアレイ (英語: Pulsar timing array, PTA) は重力波の検出のための物理学実験とその施設である[1]。広く分布したミリセカンドパルサー...