太田 昌孝（おおた まさたか、1959年11月 - ）は、日本の情報科学者。東京工業大学大学院情報理工学研究科講師。モバイルブロードバンド協会理事長、情報通信研究機構（NICT）光ネットワーク研究所客員研究員。
デイナ・スコットの提案したPPLAMBDAという論理体系を利用し、ロビン・ミルナーはLogic for Computable Functions (LCF) という証明のチェックや定理の自動証明をするシステムを実装した。1973年に発足したEdinburgh LCFのプロジェクトにおいて、証明の道筋を関数として記述するためのメタ言語として開発されたのが、MLの最初であり、強い型付きの言語として設計された。Edinburgh LCFとMLは、1975～76年にエディンバラ大学で実装された。特に1980年代以降、汎用プログラミング言語として多数の機能やライブラリが追加されている。（この節 参考文献『新しいプログラミング・パラダイム』(ISBN 4-320-02493-1) pp. 120-121）
自動定理証明系において、証明の道筋を関数として記述するためのメタ言語として生まれたという経緯を持ち（#歴史の節を参照）、名前はそのことに由来する。構文はISWIMの影響を受けている。MLによってプログラマに知られるようになった機能に、型推論がある。これは、明示的に型の宣言を行わなくても、データの利用のされ方から、引数や関数の返す型を自動的に推論してくれる機能である。これにより、プログラマの負担が著しく軽減される。標準（ないし一方言）としてStandard ML (SML) があり、その実装には、Standard ML of New Jersey (SML/NJ) や、東北大学電気通信研究所大堀研究室が開発を進めているSML#などがある。標準以外の仕様の実装としてはOCamlなどがある。詳細仕様は実装ごとに異なっており、各実装での仕様をそれぞれのMLの方言と捉える場合もある。SMLの詳細とその実装の一覧はStandard MLを参照のこと。
車両での通行は可能だが、上記の通りトンネルが峠として機能している。麓から峠までの距離が短く、また片側1車線が確保されているので通行は容易である。しかし周辺は豪雪地帯というほどではないものの積雪が見られる地域であり、冬季通行止めの区間となっている。峠の近くまで民家が立ち並んでいる。
標高248mの福井県道18号上に位置する峠である。峠自体は現存しておらず、1974年に開通した金谷トンネルにその名を残すのみとなっている。また、旧道も現存していない。古くは朝倉氏が城を築いた一乗谷を守る自然の要塞として機能し、若狭国や近江国との連絡はこの峠を越えていた
このシリーズは、日本で初めて協力出版の形をとっている。参加出版社の特色や個性を生かしながら、出版する本について協議し、決定する。作品は統一のブランド名を用いつつ、各社からそれぞれ出版される。こうした4社による試みによって、フォア文庫は1979年に創刊された。2009年に創刊30周年を迎え、「フォア文庫刊行のことば」が新しくなった。出版される作品は、現代の児童文学作家による作品を中心に、ノンフィクション、外国文学、古典文学、民話など多岐にわたる。最近は、エンターテインメントの書き下ろし作品も増加傾向にあるが、児童向け創作文学を中心とした出版の形は崩れていない。
フォア文庫（フォア ぶんこ）は、岩崎書店、金の星社、童心社、理論社が協力出版している児童書のブランドである。名称にある「フォア（FOUR）」はその4つの出版社を表している。
茨城県出身。1939年帝国女子医学専門学校（現・東邦大学）卒。東京警察病院に勤務し、茨城県瓜連町（現・那珂市）で開業する。瓜連町教育委員、水戸家庭裁判所家事調停委員などを経て、1974年の第10回参議院議員通常選挙において茨城地方区から茨城県興農政治連盟で立候補して当選する。3年後、難病の尋常性天疱瘡に罹り、参議院議員を辞職する。その後継に夫の岩上二郎が補欠選挙に立候補して当選、3期務めた。1989年夫・二郎が死去。これに伴う補選の出馬に意欲を示し、記者会見まで開いた。一方で自民党茨城県連は茨城県議の野村五男を擁立し、保守は分裂状態となった。自民党は候補者一本化に向けて、党中央が動き出し、当時の自民党幹事長の小沢一郎の説得により、岩上は立候補を断念した。自民党は候補者一本化に成功し、選挙は野村が当選した。2000年死去。
1944年6月10日、親衛隊大尉フリッツ・ラウテンバッハ（Fritz Lautenbach） に率いられた第4SS警察装甲擲弾兵師団所属の部隊が、パルチザンから攻撃を受けたことの「報復」と称して、2時間以上にわたり各戸をまわってギリシャ民間人を大量虐殺した。デルフォイ近くの小さなディストモ村の成人男女と子供合計214人が殺害された。複数の生存者によると、ドイツ親衛隊の部隊は「ベビーベッドの中の赤ん坊を銃剣で突き、妊婦を突き刺し、村の神父を斬首した」。大虐殺の後、ドイツ軍部隊に同行していたある秘密野戦警察隊隊員は当局に対し、ラウテンバッハの公式報告とは逆に、ドイツ軍が攻撃を受けたのはディストモ村から数マイルの地点で、「ディストモ村の方角から迫撃砲、マシンガン、ライフル」による攻撃を受けたのではないと報告した。審理が行われ、ラウテンバッハは服務規定を犯したことを認めたが、法廷は、ラウデンバッハの動機は怠慢や無知ではなく部下に対する責任感であったとして、ラウデンバッハを支持した。