テーマ

■卒論のテーマを変えようかな？
と朝起きて思って，そうすることにした．あと44日くらい．

■あったかい．
冬なのに，12月も末なのに10度以上の気温だった．おかしい．そして，異常な暴風だった．ビル風で体が浮いた．

■ことえり
MacOS X の標準の日本語入力ソフト「ことえり」ではこんなことができる．「姜」という字をいれようとおもったら「美しい女」と書いて Ctrl + 1 で変換できる．たとえば「輔」という字も「車甫」とか「車補」とか似てる漢字から変換できる．ということに今日気がついた．スゴい．

■研究室で
友達が，「X, Y, A が正の整数で XY(X+Y) = 2A を満たすものはただ一組しかない」という教科書の記述が腑に落ちないと言ってメンバーに相談していた．多くの人はどうやってそれを証明するかと悩んでいたけれど，ある１人がその記述が間違っていることを指摘した．でも，他の人たちは「じゃぁ反例を示せ」とその指摘を一蹴していた．かわいそうなので僕が総当たりで調べるプログラムを書いてみた．4行くらい．上の式を満たす組が大量に見つかった．研究室の雰囲気が一気に変わって教科書の正当性を議論するようになった．
# この事件は人生においてとても良い例ですね．まるで現在の社会を反映しているようです．
# たまたまぼくは正しいサイドだったけれど，間違っている方にいることもあるでしょうから，憶測だけではなく，きちんと証明することが大事です．

■疲れた
ので，素数をリストアップするプログラムを書いた．20行くらいになった．
1
2
3
5
7
11
13
17
19
23
29
31
37
41
43
47
53
59
61
67
71
73
79
83
89
97
101
103
107
109
113
127
131
137
139
149
151
157
163
167
173
179
181
191
193
197
199
211
223
227
229
233
239
241
251
257
263
269
271
277
281
283
293
307
311
313
317
331
337
347
349
353
359
367
373
379
383
389
397
401
409
419
421
431
433
439
443
449
457
461
463
467
479
487
491
499
503
509
521
523
541
547
557
563
569
571
577
587
593
599
601
607
613
617
619
631
641
643
647
653
659
661
673
677
683
691
701
709
719
727
733
739
743
751
757
761
769
773
787
797
809
811
821
823
827
829
839
853
857
859
863
877
881
883
887
907
911
919
929
937
941
947
953
967
971
977
983
991
997