logicism

プログレッシブ英和中辞典(第5版)の解説

[名]《数学》論理主義（◇数学は論理学に還元されうるとする考え）．

出典　小学館「プログレッシブ英和中辞典(第5版)」プログレッシブ英和中辞典(第5版)について　情報 | 凡例

宇宙事業会社スペースワンが開発した小型ロケット。固体燃料の3段式で、宇宙航空研究開発機構(JAXA)が開発を進めるイプシロンSよりもさらに小さい。スペースワンは契約から打ち上げまでの期間で世界最短を...