キャリアと人生 ハンブリンは1922年11月20日、ニューサウスウェールズ州ピーターシャム で生まれた。両親はチャールズ・オズワルド・ハンブリンとキャサリン・メイ・ホワイトである。[ 6 ] ノースシドニー・ボーイズ・ハイスクール とジーロング・グラマー に通った。[ 7 ] 第二次世界大戦 とオーストラリア空軍でのレーダー勤務によって中断されたが、ハンブリンはメルボルン大学で人文科学（哲学と数学）、科学（物理学）、哲学修士号（最優等）を取得した。1957年、 ロンドン・スクール・オブ・エコノミクスで「 言語と情報理論」 というテーマで博士号を取得した。この博士論文はカール・ポパー の指導の下、意味論的観点からクロード・シャノン の情報理論 を批判したものと思われる。 [ 7 ]
1950年代後半、ハンブリンはオーストラリアで入手可能な3番目のコンピュータであるイングリッシュ・エレクトリック社 製のDEUCE コンピュータで研究を行った。彼はDEUCEのために、後にGEORGE（General Order Generator）と呼ばれる最初のプログラミング言語の1つを設計した[ 8 ]
ハンブリンの研究は、逆ポーランド記法を初めて用いたものと考えられており、そのため彼はこの表記法の発明者と呼ばれている。ハンブリンがこの記法とその使用法を独自に発明したかどうかに関わらず、彼はプログラム可能なコンピュータ上で処理するためのプログラム記述方法、そしてそれを実現するアルゴリズムにおいて、逆ポーランド記法が持つ利点、有用性、そして優位性を示した。
コンパイラ開発における彼の研究の2つ目の直接的な成果は、プッシュ・ポップスタックの概念（1945年にアラン・M・チューリングがACE向けに考案したもの）であり、ハンブリンはフリードリヒ・ルートヴィヒ・バウアーやクラウス・ザメルソンとは独立してこれを開発した。同年、1957年にハンブリンは第1回オーストラリアコンピュータ会議で自身のスタック概念を発表した。この会議以前からコンパイラは動作していた。ハンブリンの研究は、スタックベースのコンピュータ、その機械語命令、スタック上の引数、および参照アドレスの開発に影響を与えた。この設計は、1963年に発売されたイングリッシュ・エレクトリック社のKDF9コンピュータに採用された。
1960年代、ハンブリンは再び哲学的な問題にますます傾倒していった。彼は形式論理に関する影響力のある入門書を著し、それは今日では 誤謬 に関する標準的な著作となっている。この著作は、伝統的な論理学における誤った結論の扱い方に焦点を当て、そこに形式弁証法を取り入れ、さらに発展させた。このように、ハンブリンは現代非形式論理の創始者の一人とみなされている。
ハンブリンは、現代時間論理 の発展に2つの点で貢献した。その初期の段階で、彼は1958年から1965年にかけてアーサー・プライアー と文通し、この共同研究は、いわゆるハンブリン含意 で頂点に達した。その後、1972年にハンブリンは、このテーマに関する1947年のAGウォーカー の研究を知らずに、独自に持続計算 （区間論理 ）の一形態を再発見した。ウォーカーは時制の側面には関心を持っていなかった。ハンブリンの持続計算は、1980年代半ばにジェームズ・アレン とパトリック・J・ヘイズ によって後に開発されたものと非常によく似ている。 [ 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年授与。アジア太平洋地域の言語：旅行者のための会話集 。ロンドン：アンガス＆ロバートソン 出版、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巻、135-139ページ。オーストラリアコンピュータジャーナル 17巻4号、 195-198ページ（1985年11月）に再録。 「モンタギュー英語における疑問文」『言語の基礎 』 1973年、10巻、41-53ページ。
日付順に並べられています 以下のモノグラフ、論文、記事のリストは、ピーター・マクバーニーが2008年7月27日にオンラインで公開した「チャールズ・L・ハンブリン：コンピュータのパイオニア」に掲載されているリストに基づいています。
CL ハンブリン [1957]: 数学的記法に基づくアドレスレス符号化方式。第 1 回オーストラリア コンピューティングおよびデータ処理会議議事録、南オーストラリア州ソールズベリー：兵器研究所、1957 年 6 月。 C.L. ハンブリン [1957]: コンピュータ言語。オーストラリア科学ジャーナル、20: 135–139。オーストラリアコンピュータジャーナル、17(4): 195–198 (1985年11月) に再録。 C.L. ハンブリン [1957]: レビュー: W.R. アシュビー: サイバネティクス入門。オーストラリア哲学ジャーナル、35。 C.L. ハンブリン [1958]: 質問。オーストラリア哲学ジャーナル、36(3): 159–168。 C.L. ハンブリン [1958]: A.N. プライアー著『時間と様相』の書評。オーストラリア哲学ジャーナル、36: 232–234。 C.L. ハンブリン [1958]: 驚き、革新、そして確率。ANU 驚きに関するシンポジウム議事録、キャンベラ、1958年7月。 C.L. ハンブリン [1958]: A.R. アンダーソン著『規範システムの形式分析』の書評。オーストラリア哲学ジャーナル、36。 C.L. ハンブリン [1958]: GEORGE プログラミング マニュアル。1958 年複製。1959 年改訂増補版。 C.L. ハンブリン [1959]: 法助動詞「おそらく」。Mind, New Series, 68: 234–240. C.L. ハンブリン [1962]: ポーランド記法への変換とポーランド記法からの変換。コンピュータジャーナル、5: 210–213。 C.L. ハンブリン [1963]: 質問は陳述ではない。科学哲学、30(1): 62–63。 RJ GillingsとCL Hamblin [1964]: UTECOM上のバビロニア逆数表。Technology、9 (2): 41–42、1964年8月。拡張版はAustralian Journal of Science、27、1964年に掲載された。 C.L. ハンブリン [1964]: 確率論には基礎があるのか？ ニューサウスウェールズ統計学会確率論シンポジウム議事録、1964年5月。ニューサウスウェールズ大学、シドニー、1964年発行のサイエンス・イヤーブックに再録。 C.L. ハンブリン [1964]: D. ハラー著『コミュニケーション：論理モデル』の書評。オーストラリア哲学ジャーナル、42。 C.L. ハンブリン [1964]: N.D. ベルナップ著『質問の分析』の書評。オーストラリア哲学ジャーナル、42。 C.L. ハンブリン [1965]: P. アレクサンダー著『科学の論理への序論』の書評。『英国科学哲学ジャーナル』15(60): 360–362。 C.L. ハンブリン [1966]: 初等形式論理、プログラム学習コース。(シドニー: ヒックス・スミス)。1967年に英国ロンドンのメシュエン社より再版。また、J. マンネルヘイムによりスウェーデン語に翻訳され、タイトルは「Element"ar Logik, ein programmerad kurs. (ストックホルム: Laromedelsf"orlagen, 1970)」となっている。 C.L. ハンブリン [1967]: 一値論理。Philosophical Quarterly、17: 38–45。 C.L. ハンブリン [1967]: 問い、論理。『哲学百科事典』（ニューヨーク：コリアー・マクミラン）。 C.L. ハンブリン [1967]: 多項式演算のためのアルゴリズム。コンピュータジャーナル、10。 C.L. ハンブリン [1967]: L. アクヴィスト著『疑問文の論理理論への新しいアプローチ』の書評。オーストラリア哲学ジャーナル、44。 C.L. ハンブリン [1969]: 開始と停止。The Monist、53: 410–425。 C.L. ハンブリン [1970]: 誤謬。ロンドン、イギリス: メシュエン。 C.L. ハンブリン [1970]: いつ言われるかの効果。Theoria、36: 249–264。 C.L. ハンブリン [1971]: 対話の数学的モデル。Theoria、37: 130–155。 C.L. ハンブリン [1971]: 瞬間と間隔。Studium Generale、24: 127–134。 C.L. ハンブリン [1972]: あなたと私。分析、33: 1–4。 C.L. ハンブリン [1972]: ジレンマと規則の論理。哲学論理学ジャーナル、1: 74–85。 C.L. ハンブリン [1973]: モンタギュー英語における疑問文。言語の基礎、10: 41–53。 C.L. ハンブリン [1973]: 述語論理の優れた断片。ノートルダム形式論理学ジャーナル。14: 433–446。 CL Hamblin [1974]: 論理の初期化と制御。 C. ピッツィによる未発表論文のイタリア語翻訳: 開始と停止の論理。ページ 295 ～ 317: C. Pizzi (編集者): La Logica del Tempo。トリノ: ブリンギエリ。 CL ハンブリン [1975]: クレスウェルの同僚 TLM. Nous, 9(2): 205–210. C.L. ハンブリン [1975]: サッケリアンの議論と論理の自己適用。オーストラリア哲学ジャーナル、53: 157–160。 CL Hamblin [1976]: 改良された「ポンス・アシノルム」？哲学史ジャーナル、14: 131–136。 C.L. ハンブリン [1984]: アジア太平洋の言語：旅行者と学生のための会話集。（ニューサウスウェールズ州ノースライド：アンガス・アンド・ロバートソン）。 C.L. ハンブリン [1987]: 命令法。オックスフォード、英国：バジル・ブラックウェル。 C.L. ハンブリンと P.J. ステインズ [1992]: 三段論法の極めて単純な理論。論理と分析、35: 81。
特許 米国特許第2849706号「可変量の大きさの対数に比例する電圧を生成するための電子回路」。1953年2月3日出願（英国では1952年2月4日出願）、1958年8月21日特許付与。 米国特許第3008640号「電気計算機」。1954年10月11日出願（英国では1953年10月13日出願）、1961年11月14日特許付与。
参考文献 ↑ ジム・マッケンジーとフィリップ・ステインズ、「チャールズ・レナード・ハンブリン、1922年～1985年」、オーストラリア哲学ジャーナル ↑ ピーター・マクバーニー、「オーストラリアのコンピュータ科学の先駆者への賛辞」、シドニー・モーニング・ヘラルド ↑ 1970年代半ばまでに、西側世界の科学者の大多数は、ニューサウスウェールズ大学のチャールズ・ハンブリン教授が開発した逆ポーランド記法論理システムに基づく計算機を使用していた。（ニューサウスウェールズ大学ニュースルーム、unsw.edu.au。2022年7月31日取得）。 ↑ CL ハンブリン、「数学的記法に基づくアドレスレス符号化方式」、1957年5月、ニューサウスウェールズ工科大学。（タイプ原稿） ↑ Bauer, FL、および Samelson, K.、「逐次式変換」 、Communications of the ACM 3(2): 76–83、1960 年。コンパイラにとって非常に影響力のある論文。 ↑ Charles Leonard Hamblin 1922-1985、ancestry.com。2022年7月31日取得。 1 2 「チャールズ・ハンブリンへの賛辞」 。オーストラリアコンピュータ博物館協会。 ↑ GEORGE プログラミング言語– FOLDOC ↑ Peter Øhrstrøm; Per FV Hasle (1995). Temporal logic: from ancient ideas to artificial intelligence . Springer. ISBN 978-0-7923-3586-3 。↑ 「4月の書籍紹介（アンガス＆ロバートソン）」、ジ・エイジ紙 ↑ ジュリー・ハンブリン、「男性社会におけるABCの声、リタ・ハンブリン」、シドニー・モーニング・ヘラルド ↑ 「家族のお知らせ」、キャンベラ・タイムズ
さらに読む サム・ブッチャート、「批判的思考」、グラハム・オッピーとNN・トラカキス編『オーストラリアとニュージーランドの哲学入門』 、モナシュ大学出版、2010年、 145-146頁。 SA グレース著『オーストラリアの哲学史』 、セントルシア、クイーンズランド州、オーストラリア：クイーンズランド大学出版局、1984年、「論理学および関連分野」の章、183ページ 。 ジム・マッケンジー、「ハンブリンの著書の誤謬について」、『インフォーマル・ロジック』 31（4）：262-278（2011）。 グレッグ・レスタル、「古典論理学」、グラハム・オッピーとNN・トラカキス編『オーストラリアとニュージーランドの哲学入門』 、モナシュ大学出版、2010年、109-110頁 。 グラハム・ウィリアムズ、「論理、数学、言語の控えめなブレンド」、The Sydney Morning Herald The Age として再掲載。
外部リンク アレン、マレー W. (1985)、「チャールズ・ハンブリン (1922–1985)」、オーストラリアン・コンピュータ・ジャーナル 、17(4): 194–195。 チャールズ・ハンブリン特集号、インフォーマル・ロジック 、第31巻、第4号（2011年）。 McBurney, Peter、「チャールズ・ハンブリンへの賛辞」、vukutu.com、2011年1月10日。 マクバーニー、ピーター、チャールズ・L・ハンブリン、リバプール大学 。 フォン・フィンテル、カイ、チャールズ・レナード・ハンブリン、2013年7月5日。 PhilPapers のCL Hamblin
