AI画像生成を使った遊び in 計算機科学

生成AIが普及してきましたので，遊びで，計算機科学に関するいろいろな絵を生成してもらおうと思います．

• プログラミング言語の擬人化1
  Fortran, Lisp, PASCAL, C, Prolog など， いろいろなプログラミング言語を擬人化してみました． おまけとして，Gemini が生成した動物の絵も最後に付けています．
  

• プログラマとスパゲッティ
  プログラム可能な計算機が発明されて以来，スパゲッティとプログラマは切っても切れない関係にあります．ということで，「プログラマとスパゲッティ」というタイトルで思いつく状況を絵にしてもらいました．
  

• プログラミング言語におけるモナドの擬人化１
  関数型言語のモナドは重要ですが分かりにくい概念です． ここでは，イメージを使うことで，その難しい概念を，頭だけではなく， 心で理解しようというアプローチを取ります．大部分は戯れですが， 真ん中あたりの「私の良心」のところ（折り込んであり，最初は表示されていないので「ここをピック」と書いてあるところをピックしてください）はまじめに， モナドの説明を書きました．それ以外のところも，読み返してみると， AI はかなり適切な説明を生成してくれています．
  

• 感性的なコンビネータ入門0
  Y, S, K, I などのコンビネータの理論を学ぶときに，イメージをしっかり持てるというのは強みだと思います．
  
• 公理的集合論 ZFC をイメージで学ぶ0
  生成AIを活用して， 公理的集合論 ZFC を学習する助けになるような補助教材ができないかと考えました． 特に，画像生成を利用してイメージに訴える補助教材にしたいと思います．
  
• ゲーデルの不完全性定理の怪
  ゲーデルの不完全性定理の感性的な解説を書いてみました． 不完全性定理の全体というよりは，その証明の中で， ゲーデル文，つまり，「正しいけれど証明できない命題」が 出てきますが，それは，完全性定理の「すべてのモデルで 正しければ証明がある」と矛盾を起こさないのかということに 焦点を当てて解説しています．

  この解説は，分かりやすく，かつ，分かりにくいことを 目指して作成しました．内容については，短く，感覚的な 記述を心掛け，素人に分かりやすいようにしましたが， AI を使って，感覚的な絵をある程度入れましたので， いわば，ところどころ，私のおやじギャグが沢山入っていて，読者が， 読む意思を挫かれるのです．
  

ホームページトップへ