Chansakiの個人サイト

〜 つれづれなるままに、日暮らし、PCにむかひて、心にうつりゆくよしなしごとを、そこはかとなく書きつくれば、あやしうこそものぐるほしけれ 〜[1]

好きな言葉（順不同）

• Mathematical elegance is not a dispensable luxury but decides between success and failure. — Edsger W. Dijkstra[2]
  • “動けばいい”では終わらせず、”エレガンス”を成功条件として扱う姿勢を忘れないようにしたい。
• 困難は分割せよ[3]
  • 分割統治法はアルゴリズムの技法であると同時に、思考の技法でもあると思う。
• 私の円を乱すな[4]
  • アルキメデス最期の言葉として伝えられる。先人たちの執念や誇りの上に、数学や科学が積み上がってきたのだと思うと胸が熱くなる。
• 進取の精神　学の独立[5]
  • 「案ずるに學問は何れの國に於いても其の國の語によりて學ぶ可(べ)きものなり」[5]
  • 「外国語で講義を行う東京大学などに対して、東京専門学校は邦語で教育を行った」と紹介されている。[5]
  • 母国語で高度な専門教育を受けられる環境に、そしてそれを築いた先人たちに、強く感謝している。

好きな本（順不同）

• 『ゲーデル、エッシャー、バッハ：あるいは不思議の環』（ダグラス・R・ホフスタッター 著）[6]
• 『皇帝の新しい心――コンピュータ・心・物理法則』（ロジャー・ペンローズ 著）[7]
• 『ゲーデルと20世紀の論理学(ロジック)』（田中一之 編）[8]
• 『数学――その形式と機能』（S. マックレーン 著）[9]
• 『論理学をつくる』（戸田山和久 著）[10]
• 『言語設計者たちが考えること』（Federico Biancuzzi / Shane Warden 編）[11]
• 『万物の理論としての圏論』（丸山善宏 著）[12]
• 『計算論理と人間の思考：推論AIへの論理的アプローチ』（ロバート・コワルスキ 著）[13]

好きな読み物（順不同）

• 情報科学を学ぶ（上田和紀 著）[14]
  • 学部時代の卒業研究の担当教官が書かれたもの。約30年前に書かれた文章だが、生成AI全盛の今、情報科学を専攻している自分に響く言葉が多い。配属希望のとき、これを読んで「この先生のもとで学びたい」と思った。
• レクチャーソフトウェア工学（鵜林尚靖 著）[15]
  • 修士課程での担当教官が書かれた本。ソフトウェア工学の体系的な学習としてもとても有益であると共に、コラムがとても充実していて、読み物としてもとても面白い。私は特に「巨人の肩の上に立つ」のコラムが好き。
• EWD（Dijkstra Archive）[16]
  • 言い回しが過激に感じる箇所もあるが、それほどまでに、ダイクストラが、強く伝えたいことがあったのだと実感する。
  • 特に好きな2本：
    • 『There is still a war going on』 (EWD1165)[17]
    • 『Answers to questions from students of Software Engineering』 (EWD1305)[18]

研究分野

• ソフトウェア工学、形式手法 (形式仕様記述、モデル検査)

  • ロジックで設計の正しさを証明したい。

その他興味のあること

• 科学史・科学哲学
  • 理論そのものだけでなく、それが生まれた背景・動機・思想を知ると、技術への解像度とありがたみが増す。
• 言語学
  • 特に言語的相対論に興味がある。自然言語だけでなく人工言語にも相対論的な側面はあると考えていて、この観点からも形式手法は重要なのではと考えている。適切な抽象化を促し、ロジックが合意形成の軸となるから。

嫌いなもの

• ダークパターン
• アテンションエコノミー
  • 先人たちが積み上げてきた認知科学・脳科学の知見は、人々の報酬系をハックして私利私欲に使うためのものではないはず。
  • クリック数や滞在時間といったKPIを、「良いものを作る」以外の近道で達成しようとする短絡的な発想には強い違和感がある。

経歴

• 三重県にて生を受ける。
  • 三重県はお肉も海鮮物もお米も美味しい。
    • 古来、「御食国（みけつくに）」と呼ばれ、万葉集においても、大伴家持によってその情景が詠まれている。[19][20]
      • 「御食つ国　志摩の海人ならし　真熊野の　小舟に乗りて　沖辺漕ぐ見ゆ」[20]
  • お気に入りの場所は鳥羽水族館。(特に奇跡の森エリアが好き。爬虫類がたくさんいる。)[21]
    • 因みに鳥羽は、御木本幸吉が真珠養殖という偉業を成し遂げた地でもある。[22][23]

    • 発明王トーマス・エジソンは幸吉の真珠を前にして、

      「私の研究所で試みて、どうしてもできなかったものが二つあります。ひとつがダイヤモンドで、今ひとつは真珠です。貴君が今、動物学上からは不可能視されていた真珠を発明完成されたことは、世界の驚異です」[24]

      と驚嘆した、という逸話がある。[24]

• 三重県私立高田中・高等学校で過ごす。
  • 科学部生物班所属。
    • 用水路でザリガニを捕まえるなどしていた。
    • 部室には、カミツキガメ（飼育には環境省の許可が必要）、アフリカツメガエル（アルビノ）などがいた。[25][26]
• 上京し、早稲田大学基幹理工学部学系Ⅲに入学。
• 早稲田大学基幹理工学部情報理工学科に進学。
  • 学部時代：上田研究室（プログラミング言語論、担当教官：上田和紀）[27][28]
• 早稲田大学基幹理工学研究科情報理工・通信専攻進学。
  • 修士課程：鷲崎・鵜林研究室（ソフトウェア工学、担当教官：鵜林尚靖）[29][30]

ご意見・お問い合わせ

• saki0604.kagaku [スパム対策] akane.waseda.jp

参考文献

1. 吉田兼好『新訂 徒然草』西尾実・安良岡康作 校注（岩波文庫 黄112-1、岩波書店）。引用箇所：序段。※本文は「硯」を「PC」に置換して改変引用。
2. Edsger W. Dijkstra, “On the nature of Computing Science (EWD 896)”, E.W. Dijkstra Archive (UT Austin)
3. René Descartes, “Discourse on the Method”, Part II（Project Gutenberg eBook #59, trans. John Veitch）
4. Chris Rorres, “Death of Archimedes: Sources”, Courant Institute of Mathematical Sciences (NYU)
5. 早稲田ウィークリー「学の独立と進取の精神－創立記念コラム」（2019-10-21）
6. 白揚社『ゲーデル、エッシャー、バッハ―あるいは不思議の環 20周年記念版』（ホフスタッター著）
7. みすず書房『皇帝の新しい心―コンピュータ・心・物理法則』（ペンローズ著）
8. 東京大学出版会『ゲーデルと20世紀の論理学』
9. 森北出版『数学―その形式と機能』（S. マックレーン著）
10. 名古屋大学出版会『論理学をつくる』（戸田山和久）
11. オライリー・ジャパン『言語設計者たちが考えること』
12. 青土社『万物の理論としての圏論』（丸山善宏）
13. 版元ドットコム『計算論理と人間の思考：推論AIへの論理的アプローチ』（コワルスキ著）
14. 上田和紀「情報科学を学ぶ」（早稲田学報 1994年5月号）
15. サイエンス社（数理工学社）『レクチャー ソフトウェア工学』（鵜林尚靖, 2021）
16. E.W. Dijkstra Archive (UT Austin)
17. Edsger W. Dijkstra, “EWD 1165” (PDF), E.W. Dijkstra Archive (UT Austin)
18. Edsger W. Dijkstra, “EWD 1305” (PDF), E.W. Dijkstra Archive (UT Austin)
19. 三重の文化「古代の『御食つ国』志摩」（三重県）
20. 万葉百科（奈良県）「御食つ国志摩の海人ならし…（巻6-1033 / 大伴家持）」
21. 鳥羽水族館「奇跡の森（360度館内案内）」
22. 一般社団法人 鳥羽市観光協会「ミキモト真珠島」
23. ミキモト真珠島（公式サイト）
24. ミキモト真珠島 館長ブログ132「月か星か」（2020-08-26 / 更新 2022-09-19）
25. 環境省（中部地方環境事務所）「特定外来生物『カミツキガメ』を見かけたら」（PDF）
26. 環境省「飼養等に関する手続き（外来生物法 / 日本の外来種対策）」
27. 上田研究室（早稲田大学）
28. 上田和紀（上田研究室）
29. 鷲崎・鵜林研究室（早稲田大学）
30. 鵜林尚靖（早稲田大学 研究者データベース）