翻訳と辞書
Words near each other
・ ジョン・バルビローリ
・ ジョン・バロウ
・ ジョン・バロウズ
・ ジョン・バロウマン
・ ジョン・バンベンショーテン
・ ジョン・バンヤン
・ ジョン・バンヴィル
・ ジョン・バン・リン
・ ジョン・バーク (リバティ船)
・ ジョン・バーク (政治家)
ジョン・バークリー・ロッサー
・ ジョン・バーケット
・ ジョン・バーコール
・ ジョン・バーゴイン
・ ジョン・バージェス
・ ジョン・バージェス・ウィルソン
・ ジョン・バージャー
・ ジョン・バース
・ ジョン・バーチ・ソサエティ
・ ジョン・バーディーン


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

ジョン・バークリー・ロッサー : ミニ英和和英辞書
ジョン・バークリー・ロッサー[ちょうおん]
=====================================
〔語彙分解〕的な部分一致の検索結果は以下の通りです。

: [ちょうおん]
 (n) long vowel mark (usually only used in katakana)

ジョン・バークリー・ロッサー : ウィキペディア日本語版
ジョン・バークリー・ロッサー[ちょうおん]
ジョン・バークリー・ロッサーJohn Barkley Rosser, 1907年 - 1989年)はアメリカの数学者論理学者。
フロリダ州ジャクソンビル生まれ。アロンゾ・チャーチから教わる。ラムダ計算において、チャーチ・ロッサーの定理を二人で証明した。数論で、篩法を発展させた。ウィスコンシン大学マディソン校附置の軍事数学研究所の所長も務めた。教科書を多く執筆した。
1936年には、ゲーデルの不完全性定理を拡張させた。
解析的整数論で、ロッサーの定理を証明。




抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「ジョン・バークリー・ロッサー」の詳細全文を読む




スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.