伊藤清 - Wikipedia
伊藤 清（いとう きよし、1915年〈大正4年〉9月7日[1] - 2008年〈平成20年〉11月10日）は、日本の数学者、大蔵官僚。学位は理学博士（東京帝国大学・1945年）。位階は従三位。確率論における伊藤の補題（伊藤の定理）の考案者として知られる。第1回ガウス賞受賞者。 略歴[編集] 出生から学生時代[編集] 伊藤清（右）と伊藤清三（1937年） 1915年、三重県員弁郡（現いなべ市）で生まれた。同じく数学者である伊藤清三は弟[3]。東京帝国大学理学部数学科で学び、1938年に卒業した。 卒業後[編集] 内閣統計局にて（1940年） 卒業後の1938年、大蔵省入省。銀行局に配属された。1939年、内閣統計局に配転される。1943年、内閣統計局を退官し、名古屋帝国大学助教授となった。1945年、東京帝国大学に学位請求論文『確率過程について』を提出して理学博士の学位を取得[4]。1952
充足可能性問題 - Wikipedia
英語版記事を日本語へ機械翻訳したバージョン（Google翻訳）。 万が一翻訳の手がかりとして機械翻訳を用いた場合、翻訳者は必ず翻訳元原文を参照して機械翻訳の誤りを訂正し、正確な翻訳にしなければなりません。これが成されていない場合、記事は削除の方針G-3に基づき、削除される可能性があります。 信頼性が低いまたは低品質な文章を翻訳しないでください。もし可能ならば、文章を他言語版記事に示された文献で正しいかどうかを確認してください。 履歴継承を行うため、要約欄に翻訳元となった記事のページ名・版について記述する必要があります。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入を参照ください。 翻訳後、{{翻訳告知|en|Boolean satisfiability problem|…}}をノートに追加することもできます。 Wikipedia:翻訳のガイドラインに、より詳細な
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
