チャールズ・レナード・ハンブリン

チャールズ・レナード・ハンブリン
生まれる	チャールズ・レナード・ハンブリン ( 1922-11-20 )1922年11月20日 ピーターシャム、ニューサウスウェールズ州、ニューサウスウェールズ州
死亡	1985年5月14日(1985-05-14)（62歳） ダーリング ポイント、ニュー サウス ウェールズ州、ニュー サウス ウェールズ州、オーストラリア
職業	哲学者 論理 学者 コンピュータ科学者
知られている	逆ポーランド記法

チャールズ・レナード・ハンブリン（1922年11月20日 - 1985年5月14日）は、オーストラリアの哲学者、論理学者、コンピュータの先駆者であり、シドニーにあるニューサウスウェールズ工科大学（現在のニューサウスウェールズ大学）の哲学教授でもあった。^[1]

コンピュータサイエンスの分野における彼の最もよく知られた業績は、逆ポーランド記法^{[2] [3]}の導入と、1957年のプッシュダウンポップアップスタック^[4]の使用である。これは、フリードリヒ・ルートヴィヒ・バウアーとクラウス・ザメルソンによるプッシュポップスタックの使用に関する研究に先立つものであった。 ^{[5]このスタックは、}アラン・チューリングが1946年にACEコンピュータの設計でそのようなスタックを導入したときに発明された。哲学において、ハンブリンは、論理における誤った結論の分野における標準的な作品である著書『誤謬』で知られている。形式意味論において、ハンブリンは、談話の計算モデルと、質問の意味論へのアプローチである ハンブリン意味論（または代替意味論）で知られている。

ハンブリンは1922年11月20日、ニューサウスウェールズ州ピーターシャムで生まれた。両親はチャールズ・オズワルド・ハンブリンとキャサリン・メイ・ホワイトである。^[6]ノースシドニー男子高校とジーロング・グラマースクールに通った。^[7]第二次世界大戦とオーストラリア空軍のレーダー任務により学業が中断されたが、ハンブリンは文学（哲学と数学）、理科（物理学）、そしてメルボルン大学での哲学修士号（一級優等）を専攻した。1957年にロンドン・スクール・オブ・エコノミクスで「言語と情報理論」の博士号を取得し、カール・ポパーの指導の下、クロード・シャノンの情報理論を意味論的観点から批判した。^[7] 1955年から彼はニューサウスウェールズ工科大学の講師を務め、後に同大学の哲学教授となり、1985年に死去するまでその職を務めた。その間に同大学はニューサウスウェールズ大学と改名された。

1950年代後半、ハンブリンはオーストラリアで3番目のコンピュータ、イングリッシュ・エレクトリック社製のDEUCEコンピュータに携わった。DEUCE用に、彼は逆ポーランド記法に基づいた最初のプログラミング言語の1つを設計した。これは後にGEORGE（General Order Generator）^[8]と呼ばれるようになった。彼が開発したコンパイラ（言語翻訳装置）は、1957年にGEORGEで作成されたプログラムをDEUCEの機械語に変換した。

ハンブリンの著作は逆ポーランド記法を初めて使用したと考えられており、このため彼はこの表現方法の発明者と呼ばれています。ハンブリンが独自にこの記法とその使用法を発明したかどうかはさておき、彼はプログラム可能なコンピュータでの処理のためのプログラムを書く逆ポーランド記法のメリット、有用性、利点、およびそれを実現するアルゴリズムを示しました。

コンパイラ開発における彼の仕事の 2 つ目の直接的な成果は、プッシュポップ スタックの概念 (1945 年に Alan M. Turing が ACE 用に発明) であり、Hamblin はこれを Friedrich Ludwig Bauer および Klaus Samelson とは独立して開発しました。同じ年、1957 年に、Hamblin は最初の Australian Computer Conference でスタックの概念を発表しました。コンパイラはその会議の前に動作していました。Hamblin の仕事は、スタックベースのコンピューター、そのマシン命令、スタック上の引数、および参照アドレスの開発に影響を与えました。この設計は、1963 年に納品された English Electric の KDF9 コンピューターに採用されました。

1960 年代、ハンブリンは再び哲学的な問題に目を向けるようになった。彼は形式論理学の入門書として影響力のあるものを書き、これは今日では誤謬に関する標準的な著書となっている。この本は、伝統的な論理学による誤った結論の扱いに焦点を当て、その扱いに形式弁証法を取り入れてさらに発展させた。そのため、ハンブリンは現代の非形式論理学の創始者の 1 人と見なされている。^[要出典]

ハンブリンは、現代の時相論理の発展に2つの方法で貢献した。そのごく初期の時期に、彼は1958年から1965年までアーサー・プライアーと文通し、この共同研究はいわゆるハンブリン含意で最高潮に達した。その後1972年にハンブリンは、 AGウォーカーの1947年のこのテーマに関する研究を知らずに、持続計算（区間論理）の一形態を独自に再発見した。ウォーカーは時制の側面には興味がなかった。ハンブリンの持続計算は、後にジェームズ・アレンとパトリック・J・ヘイズが1980年代半ばに開発したものと非常によく似ている。^[9]

ハンブリンは古代ギリシャ語といくつかのアジア・太平洋言語に精通しており、1984年にビルマ語、韓国語、日本語、フィジー語、タヒチ語を含む25の言語に関する多言語会話集を出版した。^[10]ピアノを弾くクラシック音楽愛好家でもあったハンブリンは、致命的な病気で入院中にウィトゲンシュタインの言葉を曲にしていた。

彼はリタ・ハンブリンと結婚した。^[11]二人の間にはフィオナ・キャサリンとジュリー・クレアという二人の娘がいた。^[12]

彼は1985年5月14日にニューサウスウェールズ州ダーリングポイントで亡くなった。

• 誤謬。メシューエン ロンドン 1970 年、ISBN  0-416-14570-1およびISBN 0-416-70070-5 (ペーパーバック)、2004 年に Vale Press から新版が発行され、ISBN 0-916475-24-7 (ペーパーバック) は、今日でもこのテーマに関する標準的な著作です。  
• 初等形式論理学：プログラムコースロンドン：メシューエン、1967年、ISBN 0-416-69820-4 
• 命令法。ブラックウェルオックスフォード、1987年、ISBN 0-631-15193-1。 
• 言語と情報理論。博士論文、論理と科学的方法プログラム、ロンドン大学、英国ロンドン。カール・ポッパーの指導、1956年10月提出、1957年授与。
• 『アジア太平洋の言語：旅行者のための会話集』ロンドン：Angus＆Robertson Publishers、1984年、ISBN 0-207-13628-9。 
• 言語学と心の部分：あるいは、話す価値のある機械を構築する方法。ケンブリッジ・スカラーズ・パブリッシング、ケンブリッジ、2017年、ISBN 1-527-50292-9、フィリップ・ステインズ博士編 

• 「ポーランド語表記法への翻訳とポーランド語表記法からの翻訳」。コンピュータジャーナル5/3、1962 年 10 月、210 ～ 213 ページ
• 「数学的表記法に基づくアドレスレスコーディング方式」。WREコンピューティング会議: 議事録、ソールズベリー、兵器研究施設 1957 年
• 「GEORGE、DEUCE のアドレスレス コーディング スキーム」。オーストラリア国立計算および自動制御委員会、第 1 回会議の要約議事録、論文 C6.1、1960 年
• 「コンピュータ言語」。オーストラリア科学ジャーナル20、p. 135-139。オーストラリアコンピュータジャーナル17/4、pp. 195–198 (1985 年 11 月)に再掲載
• 「モンタギュー英語の質問」。言語の基礎、1973年、10:41-53。

以下のモノグラフ、論文、記事のリストは、2008 年 7 月 27 日にオンラインで公開された「Charles L. Hamblin: Computer Pioneer」に掲載されている Peter McBurney のリストに基づいています。

• CL Hamblin [1957]: 数学的表記法に基づくアドレスなしコーディング方式。オーストラリアコンピューティングおよびデータ処理に関する第 1 回会議の議事録、南オーストラリア州ソールズベリー: 兵器研究施設、1957 年 6 月。
• CL Hamblin [1957]: コンピュータ言語。オーストラリア科学ジャーナル、20: 135–139。オーストラリアコンピュータジャーナル、17(4): 195–198 (1985年11月)に再掲載。
• CLハンブリン[1957]：WRアシュビー著『サイバネティクス入門』のレビュー。オーストラレーシア哲学ジャーナル、35。
• CLハンブリン[1958]：質問。オーストラレーシア哲学ジャーナル、36（3）：159-168。
• CLハンブリン[1958]：ANプライア著『時間と様相』の書評。オーストラレーシア哲学ジャーナル、36：232-234。
• CL ハンブリン [1958]: 驚き、革新、そして確率。驚きに関する ANU シンポジウム議事録、キャンベラ、1958 年 7 月。
• CLハンブリン[1958]：ARアンダーソン著『規範システムの形式分析』のレビュー。オーストラレーシア哲学ジャーナル、36。
• CL Hamblin [1958]: GEORGE プログラミング マニュアル。複製、1958 年。改訂および拡張、1959 年。
• CLハンブリン[1959]：「おそらく」の助動詞。マインド、ニューシリーズ、68：234-240。
• CL Hamblin [1962]: ポーランド語表記法との翻訳。Computer Journal、5: 210–213。
• CLハンブリン[1963]：「質問は陳述ではない」科学哲学、30(1):62-63。
• RJ GillingsとCL Hamblin [1964]: UTECOMにおけるバビロニア逆数表。テクノロジー、9(2):41-42、1964年8月。拡張版はオーストラリア科学誌、1964年27号に掲載された。
• CL ハンブリン [1964]: 確率には基礎があるか? ニューサウスウェールズ統計学会確率シンポジウム議事録、1964 年 5 月。ニューサウスウェールズ大学、シドニー、1964 年の Science Yearbook に転載。
• CLハンブリン[1964]：D.ハラ著『コミュニケーション：論理モデル』のレビュー。オーストラレーシア哲学ジャーナル、42。
• CLハンブリン[1964]：NDベルナップ著『質問の分析』のレビュー。オーストラレーシア哲学ジャーナル、42。
• CLハンブリン[1965]：P.アレクサンダー著『科学の論理への序文』の書評。英国科学哲学雑誌、15(60):360-362。
• CL Hamblin [1966]: Elementary Formal Logic, a Programmed Course. (シドニー: Hicks Smith)。1967 年に Methuen 社により英国ロンドンで再出版。また、J. Mannerheim 社によりスウェーデン語に翻訳され、Element"ar Logik, ein programserad kurs. (ストックホルム: Laromedelsf"orlagen、1970) というタイトルが付けられました。
• CLハンブリン[1967]：一値論理。哲学季刊誌、17：38-45。
• CLハンブリン[1967]：『質問、論理』哲学百科事典（ニューヨーク：コリアー・マクミラン）。
• CL Hamblin [1967]: 多項式演算のアルゴリズム。Computer Journal、10。
• CLハンブリン[1967]：L.アクヴィスト著『疑問詞の論理理論への新しいアプローチ』のレビュー。オーストラレーシア哲学ジャーナル、44。
• CLハンブリン[1969]：開始と停止。The Monist、53：410-425。
• CLハンブリン[1970]：Fallacies.ロンドン、イギリス：メシューエン。
• CLハンブリン[1970]：「いつ言ったかの影響」Theoria、36：249-264。
• CLハンブリン[1971]：対話の数学的モデルTheoria、37：130-155。
• CLハンブリン[1971]：瞬間と間隔。スタディウムジェネラル、24：127-134。
• CLハンブリン[1972]：あなたと私。分析、33：1-4。
• CLハンブリン[1972]：「難問と規則の論理」哲学論理学ジャーナル、1:74-85。
• CLハンブリン[1973]：モンタギュー英語の質問。言語の基礎、10：41-53。
• CL Hamblin [1973]: 述語計算の便利な断片。Notre Dame Journal of Formal Logic。14: 433–446。
• CL Hamblin [1974]: 論理の初期化と制御。 C. ピッツィによる未発表論文のイタリア語翻訳: 開始と停止の論理。ページ 295 ～ 317: C. Pizzi (編集者): La Logica del Tempo。トリノ: ブリンギエリ。
• CLハンブリン[1975]：クレスウェルの同僚TLM. Nous、9(2):205–210。
• CLハンブリン[1975]：サッケリアンの議論と論理の自己適用。オーストラレーシア哲学ジャーナル、53：157-160。
• CL Hamblin [1976]: 改良された「ポンス・アシノルム」？哲学史ジャーナル、14: 131–136。
• CL ハンブリン [1984]: アジア太平洋地域の言語: 旅行者と学生のための会話集。(ノース・ライド、ニューサウスウェールズ州: アンガス・アンド・ロバートソン)
• CLハンブリン[1987]：命令法。オックスフォード、イギリス：バジルブラックウェル。
• CLハンブリンとPJステインズ[1992]：「三段論法の非常に単純な理論」Logique et Analyse、35: 81。

• US2849706「可変量の大きさの対数に比例する電圧を導出する電子回路」。1953 年 2 月 3 日出願（英国では 1952 年 2 月 4 日出願）、1958 年 8 月 21 日認可。
• US3008640「電気計算装置」。1954 年 10 月 11 日出願 (英国では 1953 年 10 月 13 日出願)、1961 年 11 月 14 日に認可。

• サム・バッチャート、「批判的思考」、グラハム・オッピー、NN・トラカキス共著『オーストラリアとニュージーランドの哲学入門』、モナッシュ大学出版、2010年、145-146ページ。
• SAグレース『オーストラリアの哲学史』、セントルシア、クイーンズランド州、オーストラリア：クイーンズランド大学出版局、1984年、「論理学および関連分野」の章、183ページ。
• ジム・マッケンジー、「ハンブリンの著書「Fallacies」の内容」、Informal Logic、31 (4):262-278 (2011)。
• Greg Restall、「古典論理学」、Graham Oppy および NN Trakakis 著、『オーストラリアとニュージーランドの哲学入門』、Monash University Publishing、2010 年、109-110 ページ。
• グレアム・ウィリアムズ、「論理、数学、言語の控えめな融合」、シドニー・モーニング・ヘラルド、1985 年 6 月 8 日、p. 44、および「論理、数学、言語の控えめな融合」として再掲載、ジ・エイジ、1985 年 6 月 17 日、p. 15。

• アレン、マレーW.（1985）「チャールズ・ハンブリン（1922-1985）」オーストラリアコンピュータジャーナル、17（4）：194-195。
• Charles Hamblinの特別号『Informal Logic』第31巻第4号（2011年）。
• マクバーニー、ピーター、「チャールズ・ハンブリンへの敬礼」、vukutu.com、2011 年 1 月 10 日。
• マクバーニー、ピーター、チャールズ L. ハンブリン、リバプール大学。
• フォン・フィンテル、カイ、チャールズ・レナード・ハンブリン、2013 年 7 月 5 日。
• PhilPapersの CL Hamblin