例文 (3件) |
foundations of mathematicsの部分一致の例文一覧と使い方
該当件数 : 3件
This "incompleteness theorem" ended Hilbert's program of formalizing mathematics and is rightfully regarded as the most important result in the foundations of mathematics in this century. 例文帳に追加
この「不完全性定理」は,ヒルベルトの数学形式化プログラムに終止符を打ち,当然ながら,今世紀の数学の基礎における最も重要な成果であると見なされている. - コンピューター用語辞典
He wrote a mathematical treatise called "Hatsubi sanpo" in 1674, and invented a notation system for algebra (which was called Tensan jutsu) to allow computations on paper, and laid the foundations on which more advanced discoveries in the field of Japanese mathematics could later be reached. 例文帳に追加
延宝2年(1674年)、『発微算法』を著し、筆算による代数の計算法(点竄術、てんざんじゅつ)を発明して、和算が高等数学として発展するための基礎をつくった。 - Wikipedia日英京都関連文書対訳コーパス
例文 (3件) |
Copyright © National Institute of Information and Communications Technology. All Rights Reserved. |
Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved. |
本サービスで使用している「Wikipedia日英京都関連文書対訳コーパス」はWikipediaの日本語文を独立行政法人情報通信研究機構が英訳したものを、Creative Comons Attribution-Share-Alike License 3.0による利用許諾のもと使用しております。詳細はhttp://creativecommons.org/licenses/by-sa/3.0/ および http://alaginrc.nict.go.jp/WikiCorpus/ をご覧下さい。 |
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |