2 \documentclass[20pt]{ltjsarticle}
3 \usepackage{xcolor,luatexja-adjust}
5 \usepackage[textwidth=25\zw,lines=30,a5paper]{geometry}
11 \begingroup % the \endgroup is put in by \aftergroup
13 \dimen\z@\textwidth \textwidth\textheight \textheight\dimen\z@
15 \let \protect \noexpand
17 \global\let\@@if@newlist\if@newlist
23 \aftergroup\set@typeset@protect
25 \global\@specialpagefalse\@nameuse{ps@\@specialstyle}%
28 \ifodd\count\z@ \let\@thehead\@oddhead \let\@thefoot\@oddfoot
29 \iftdir\let\@themargin\evensidemargin
30 \else\let\@themargin\oddsidemargin\fi
31 \else \let\@thehead\@evenhead
32 \let\@thefoot\@evenfoot
33 \iftdir\let\@themargin\oddsidemargin
34 \else\let\@themargin\evensidemargin\fi
36 \@@topmargin\topmargin
38 \@@paperwidth\paperwidth \advance\@@paperwidth 6mm\relax
39 \@@paperheight\paperheight \advance\@@paperheight 16mm\relax
40 \advance\@@topmargin 1in\relax \advance\@themargin 1in\relax
49 \baselineskip\z@skip \lineskip\z@skip \lineskiplimit\z@
53 \moveright\@themargin\vbox{%
54 \setbox\@tempboxa \vbox to\headheight{%
58 \hb@xt@\textwidth{\@thehead}%
66 \setbox0=\vbox to\ht\@outputbox{%
67 \fboxrule=\ltjhanmenframewidth\fboxsep=-.5\fboxrule%
68 \textcolor{\ltjhanmenframecolor}{%
69 \hskip-.5\ltjhanmenframewidth\fbox{%
70 \vrule width0pt height0pt depth\dimexpr\Cdp-.2pt
71 \color@hbox\box\@outputbox\color@endbox}%
73 }\dp0=0pt\kern-.5\ltjhanmenframewidth\box0\kern.5\ltjhanmenframewidth%
74 \baselineskip \footskip
77 \hb@xt@\textwidth{\@thefoot}%
81 \global\let\if@newlist\@@if@newlist
82 \global \@colht \textheight
84 \let\firstmark\botmark
89 \@tempdima=\dimexpr\textheight-\topskip
90 \setbox\@gridbox\vtop to\z@{\hsize=\textwidth
92 \setbox\@tempboxa=\hbox{\smash{%
94 \ifdefined\ltjhanmengridcolor
96 \color{\ltjhanmengridcolor}\kern.2pt%
97 \dimen@=\dimexpr\textwidth-\zw\relax\count@1 \ltj@@mk@grid@grid
98 \color@endbox\hskip-\textwidth
100 \ifdefined\ltjhanmenlinecolor
101 \dimen@=\dimexpr\textwidth-\zw\relax\count@1 %
102 \color@hbox\color{\ltjhanmenlinecolor}\ltj@@mk@grid@line\color@endbox%
106 \leavevmode\copy\@tempboxa\par\advance\@tempdima-\baselineskip
107 \unless\ifdim\@tempdima<0pt\repeat
112 \def\ltj@@mk@grid@grid{%
113 \unless\ifdim\dimen@<0pt
114 \hbox to 1\zw{\hss\fboxsep=-.5\fboxrule\fbox{%
115 \@tempcnta\count@\divide\@tempcnta5\multiply\@tempcnta5
116 \ifnum\@tempcnta=\count@
117 \vrule width 0pt height .88\zw depth .12\zw%
118 \hskip.1\zw \vrule width .8\zw height .78\zw depth .02\zw\hskip.1\zw
120 \vrule width 1\zw height 0pt depth 0pt%
121 \vrule width 0pt height .88\zw depth .12\zw%
123 \hskip\dimexpr-.5\zw-.2pt\vrule width.4pt height.08\zw depth.12\zw%
124 \hskip\dimexpr.5\zw-.2pt\relax}\hss}%
125 \advance\dimen@-\zw\advance\count@1 \expandafter\ltj@@mk@grid@grid
130 \def\ltj@@mk@grid@line{%
131 \vrule width\textwidth height.2pt depth.2pt\hskip-\textwidth
132 \ltj@@mk@grid@line@aux
134 \def\ltj@@mk@grid@line@aux{%
135 \unless\ifdim\dimen@<0pt
136 \vrule width.2pt height.2\zw depth0pt
137 \hskip\dimexpr\zw-.4pt\vrule width.2pt height.2\zw depth0pt%
138 \advance\dimen@-\zw\advance\count@1 \expandafter\ltj@@mk@grid@line@aux
143 \let\ltjhanmengridcolor\undefined
144 \let\ltjhanmenlinecolor\undefined
145 \def\ltjhanmenframecolor{black}
146 \newdimen\ltjhanmenframewidth
150 \ltjhanmenframewidth0pt
153 \def\ltjhanmengridcolor{cyan!50!white}
156 \def\ltjhanmenlinecolor{red}
162 \begin{document}\thispagestyle{plain}
163 晩の7時15分少し前からWilhelm Weber町29番地の前の歩道を僕は行きつ戻りつし
164 ていました.星の見えたのは近日珍らしいが,秋風が冷こくなってリンデの落葉
165 が二ひら三ひら散らばっているなどは誂向きの道具立です.
167 其処で僕は或るFr\"auleinとrendez-vousがあったのです.フロイラインという
168 のはProf.\ Dr.\ Emmy Noether女史です!
170 ヒルベルト先生を訪問するのに,僕一人では話が途切れたときに困るだろうとい
171 うて,親切なNさんが同行してくれる約束なのです.
173 Wilhelm Weber町29番地.H先生のお宅も随分久しいものですねェ.昔ながらのさ
174 さやかな――あれは「柴折戸」としておきたい.それから広くもないあの「前
175 栽」.それはしかしながら三十年間に木立が茂って,李だか梨だか,暗くて分ら
176 ないが,丁度季節ではあり,定めて老先生夫婦の食卓を賑わせていることでしょ
177 う.玄関は矢張り暗いが,勝手を知ったNさんは殆ど案内を乞わないで,「来まし
178 たよ」の科白と取次ぎに出た女中とを跡に残して,さっさと例の客間へ僕を導き
179 ました.電話で言ってあったのでしょう,「承知していましたよ.よく来てくれ
180 たねエ」と言いつつH先生は直ぐ出て来られました.今年丁度七十歳のH先生は血
181 色もよく,昔ながらの童顔に微笑を湛えていられます.四五年前に先生は難治の
182 重病で,病名はラテン語で何とやら,聞いても忘れましたが肝臓の故障らしい,
183 一時は殆ど絶望の状態に陥られました頃,丁度アメリカで新薬が発見されて,其
184 の為に一命を取り留めたということです.しかし,その薬だけでは効験不確だか
185 ら,毎日生肝を四半斤ずつ食っておられるそうです.それでも不治の病だから,
186 若しもこの療法を中止するならば,生命は週を以って数うべきだというのです.
187 これは君も既に御承知でしたね.唯々療法の効験が現われて,今年チューリヒの
188 コングレスへ出掛けるほどの元気が出たのです.
190 H先生は一昨年か,退職の後にも大学で毎週一回位ずつ,自由に講義をしているそ
191 うです.例の数学基礎論などでしょう.「この冬学期には未だ片附いていない事
192 を全部やってしまおうと思ったがね,助手達が存外批判的(kritisch)でね――
193 まあまあ無理をしないで,ぼつぼつやるより外はなかろう……Formalismus(形式
194 論)は重大だ.それは誰でも認めなくてはならない.しかしそのFormalismusばか
195 りでは済ませない所があってね,そこに問題があるのだがね……」.くどくどと
196 独り言のようにつぶやく老先生を見て,僕は暗涙を禁ずることを得ませんでした.
198 数年前に僕は数学基礎論に関して通俗的の解説を述べた折に,H先生は一生の思出
199 に凡(すべ)てのホトトギスを鳴かせて見せるのだというようなことを書きまし
200 た.それは勿論数学基礎論を解決し了る意気込を言った積りなのですが,比喩が
201 不適切である為に,僕の意志にない所の,嘲笑というような印象を読者に与える
202 虞(おそれ)がありましたから,「数学基礎論は完成してもよい,又は完成しな
203 くてもよい.只H先生は余生を安楽に送られることを望む」という意味を,何処
204 かへ書き入れようと思いながら,それを忘れてしまいました.僕は今それを思い
205 出したのです.毎日三十匁の生肝を食って不治の難病と戦いつつも,駿馬も老い
206 ては揚足を若い助手連に時々は取られながらも,どうして排中律の証明等等を書
207 かずには居られないでしょう.余生を楽しむなどは論外で,生きながらの餓鬼道
208 ではありませんか.恐ろしいのは,これも不治なる知識追求症です.
210 さてNさんはと見ると,これは又明らかに困却の色を表わしています.尤も毎日の
211 ように聞かされているのでは,十年振に会ったものと感じが違うのも止むを得な
214 H先生はしばしば話頭を転じました.社会問題といったようなものも出ました.人
215 間があまりに多い.地球があまりに狭い.しかし科学の進歩は,どうにかして難
216 局を打開するだろう,等等.「なに,ロシヤ人などには何も出来やせんがね」な
219 話は段々超越的になりました.「予は人間の無窮の進歩を確信する.そもそも人
220 間の歴史の五千年などは時の無究に比べて零である.然るに其の間に我々は現在
221 これだけの進歩をしたではないか.いや,そればかりではない,科学が説明する
222 如く,幾milliardの歳月の間に我々は泡のようなものから今日の人間にまで進歩
223 したのだ,億といい,兆といい,知れたものだ.この後無窮の歳月に於て我々は
226 milliard年前の石塊が出た頃に,Nさんが僕に目くばせをしました.無限の進歩の
227 所で僕等は起立しました.面白い御話を承って思わず長座を致しました.さぞ御
228 疲れでしょう.有難うございました.御休みなさい.
230 後で其の晩C氏の所で聞けば,H先生のmilliard年の話は近頃当地有名だそうです.
231 君もmilliard聞かされたか,というようなことらしい.近頃先生はWells 世界史
232 概説を愛読していられるそうです(例の一冊物,近頃そのドイツ訳が盛んに行わ
235 先生が証明論の休み休みに,Wellsを読んだり,十億年間の人間の進歩について瞑
236 想したりしていられるならば,それは誠に結構です.若い人達がそれをゴシップ
237 にして興じても,構わないでしょう.先ずはめでたし,めでたし!
240 \raggedleft 高木貞治「ヒルベルト訪問記――1932年10月8日,ゲッチンゲンに於て」\\
241 (青空文庫\footnote{\verb+http://www.aozora.gr.jp/cards/001398/files/50908_41912.html+})