ハンス・フォン・ゼークト - Wikipedia
ヨハネス・フリードリヒ・レオポルト・フォン・ゼークト（Johannes Friedrich Leopold von Seeckt、1866年4月22日 - 1936年12月27日）は、ドイツの陸軍軍人、政治家。ヴァイマル共和国軍最大の実力者。最終階級は上級大将。通称はハンス・フォン・ゼークト（Hans von Seeckt）。 帝政時代には陸軍参謀総長、ヴァイマル共和政時代には陸軍兵務局長、陸軍統帥部長官を務め、1920年代前半のヴァイマル共和国軍最大の実力者として「国家の内部における国家」である軍の権威を確立し[1]、軍部に多大な影響力を持っていた。また1930年には国会議員も務めた。 生涯[編集] 帝政ドイツ時代のゼークト 1866年にシュレースヴィヒ＝ホルシュタイン州でプロイセン陸軍将校の息子として生まれる[2]。ゼークトは1885年に陸軍に入隊、ベルリンのアレクサンダー近衛擲弾兵第
型理論 - Wikipedia
型理論（かたりろん、英: Type theory）とは、プログラミング・数学・言語学等に現れる型の概念及びそれらが成す型システムを研究対象とする数学・計算機科学の分野である。特定の型システムのことを型理論と呼ぶこともある。集合論の代替となる数学の基礎として役立てられる型理論（型システム）も存在する。そのような例としてアロンゾ・チャーチの型付きラムダ計算やマルティン・レーフの直観主義型理論が有名である。 20世紀初頭にバートランド・ラッセルが発見した、ラッセルのパラドックスによるフレーゲの素朴集合論の欠陥を説明する中で提起されたtheories of typeが型理論の起源であり[1]、後年にAxiom of reducibilityが付随された型理論は、ホワイトヘッドとラッセルの 『プリンキピア・マテマティカ』に収録されている[2]。 単純階型理論（Simple Theory of Typ
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
