Welcome to AKI's HOME Page

(半群論，束論，圏論, イラスト, ... 趣味のお話)

お知らせ：

1. AI についての考察をいろいろと書き始めました．2023.04.24 (月)
   AI についての考察いろいろ
   「ついに人類は，こんなものを開発してしまって，どうなってしまうんでしょうね？」 と思いますね．

   もう，止まれないでしょうし．行くところまで行ってしまいそうで．
   

2. 遅ればせながらChatGPTを使ってみたので，今後，どうなるか考えたことを日記に書いてみました（2023.04.16（日））
   AI との共生 - "A*x ≥ B" should hold in "y = A*x + B" -
   

3. Youtube に興味が出てきたので，計算機科学の動画教材をお試しに いくつか作ってみました．まずは，圏論の基礎あたりから載せました．続くかどうかは分かりません（2022.07.15 (金)）．

   計算機科学の学習教材作成の試み（主に動画教材）
   

4. 「計算機（主にソフトウェア）の話題」に

   ガロア接続に基づく形式的概念分析の実験プログラム
   

   を作成しました．なお，ガロア接続の理論については， ガロア接続 (Galois Connection) で説明しています．2021.03.30 (火)

5. 使えるものを総動員してドイツ語単語を覚える 企画を多少エンハンスしました． 2020.7.23 (木)
   
   • 今まで出てきた単語を単語集として整理
   • 新しくブレーメンの町の音楽師を読みながら覚える企画を開始

6. 某勉強会で発表してきた資料をこのサイトにも置いておきます．
   • 計算機科学のための圏論の基礎の基礎, 2020.03.25
   • 代替集合論（Alternative Set Theories）の調査, 2019.06.19
   • 連続体仮説の解説 AGAIN, 2018.10.17

7. 圏論の教科書 M. Barr and C. Wells : Category Theory for Computing Science の概要説明を作成しました．各章の扉の説明をかみ砕いて説明しました． 2019.07.15 (月)- 07.27 (土) 完
   

8. 「計算機（主にソフトウェア）の話題」で下記を始めました．
   SKIコンビネータ AGAIN 2019.02.14 (木)
   動かして遊ぶλ計算の初歩 in Ruby 2019.02.21 (木)

9. 「いろいろな実験」で 青空文庫の作品を絵でブラウジングできるページを始めました． 随筆，SF，探偵小説等，約300 作品(2019.4.28)に絵で紹介文を 付けました．理系になじみ深い 海野十三 (SF 作家) や 寺田寅彦 (物理学者)， 丘浅次郎 (動物学者)， あたりから入るのも一興です． 他に個別の著者用の紹介としては， 江戸川乱歩, 小酒井不木, 夢野久作 などがあります． 2018.12.03

10. geocities が2019年3月末で終了したので ここに引っ越しました． geocities.jp の元の URL の www.geocities.jp/koga58 の部分を www.cs-study.com/koga で置き換えると対応するページに行けます．

2014年に５５歳で退職しました．早まったかもです．

今は毎日図書館通いで，気の向いたお勉強をしています．
計算機に関係あるものとしては，半群，束，圏，形式言語，
λ計算，数理論理学，トポロジー，…
そのほかには，物語など創作物の構造，説得とその影響，説明，表現，笑いとユーモア，キャッチコピー，川柳，教育コンテンツ開発手法，数学などの理解とは，分かった気持ちになるためには，さらにその分かった気になった知識を役立てるには，…
あとイラストがさっと描ければよいなと思い，
練習を始めました．

　 数学にしろ，計算機科学にしろ，

世の中の教科書は難し過ぎます．

もう少し学習者に優しい教科書が欲しいな．

Contents

• 計算機科学，数学
  
  • 圏論のお勉強 (Let's study Category Theory)
    圏論（Category Theory）に関する理論のお勉強の部屋です．まずは，圏論の勉強のためのリソース紹介とか，本の概要紹介とかかなぁ．
    

  • 束論・順序集合・時々，普遍代数のお勉強
    (Lattice, Poset, sometimes Universal Algebra Theory)
    束論 (Lattice Theory) など順序集合 (Poset) に関する理論のお勉強の部屋です．
    

  • 半群論のお勉強 (Semigroup Theory)
    半群の学び方を書いていきます．また， 半群の諸概念の説明をこちらに載せました（ここは今のところ書きかけばかりです）．

    ところで，オートマトンも半群ですよね？
    

  • 集合，位相，論理など (Set, Topology, Logic, etc.)
    計算機科学を勉強する上で必要になる集合，位相，論理の事柄やそのほか上で書けなかったようなことを書きます． 集合論では，素朴な疑問， 例えば，「すべての集合の集まりは集合とみなす訳にはいかないが，すべてのモノイドの 集まりはどうだろう？」とか，日々，浮かんでは消えていく泡沫（うたかた）のような疑問とかが 書いてあったりします．
    

  • 計算機（主にソフトウェア）の話題
    計算機，主にソフトウェアのことについて，徒然思い続けていることを書くつもりです．アルゴリズムやプログラミング，プログラム変換，構文解析，コンビネータ， λ計算などのお話です．Ruby で作って遊ぶというのも始めました．

• そのほか
  
  • いろいろな実験
    思いついた色々な実験をやっていきます．例えば， 青空文庫にある 著作権フリーのテキストに表紙や挿絵を付けていったら便利になるかなど．

    また，語源などの知識を駆使してドイツ語単語を覚える方法を考えるというのを はじめました（2019.05.25）．

    ここで扱うのは，必ずしも計算機を 使わないで，手作業ででも，とにかく実験することです．計算機を使うことがメインの 場合は，上の「計算機（主にソフトウェア）の話題」で扱います．
    

  • クッキングメモ (Cooking Memo)
    一人暮らしになり，慣れない料理に苦労しています．お昼に何を食べようかと 迷うことが多いので写真入りでメモを残しておくと何かの役に立つのではないかと思いました．特に美味しい料理，素晴らしい料理という訳ではなく，「手間をかけないで そこそこ食べられるものを！」というポリシーでやっています．写真入りだとページが重くなるので，あまり沢山はのせられないような気がします（2022.02.18）．
    

  • 製本 DO IT YOURSELF (Binding Books by Yourself)
    著者の好意でFreeでPDFの形で提供されている教科書や論文をプリントしたものを持ち歩くのに， 最近，少し気分を変えるために，本の形にしています．基本的に簡易な製本方法の話ですが， 表紙のデザインってどうやるんだろうと言った考察もあります．
    

  • 簡単なイラストの練習 (Practice of Illustration)
    計算機科学や数学の説明文書の間に添える簡単なイラストが書けたら よいなと思って，少しずつ練習しています．

    左の絵は「空（から）のダンボールの上に乗って， 指をさすと危ない」ということを説明するために描いたものです．ただ，この 絵の意味自体は，ここではなく，日記の方の 「ダンボールの上の研究者たち」にあります．
    

  • メモのような日記のような
    まあ，戯言，個人的なことを適当に書きます．なんか，だんだん随筆集っぽくなってきました．
    
    1. メモのような日記のような(4) 2021.03.14- New(2023.04.16)
    2. メモのような日記のような(3) 2019.11.16-2020.10.23(15件)
    3. メモのような日記のような(2) 2018.11.24-2019.10.30(18件)
    4. メモのような日記のような(1) 2017.10.14-2018.11.04 (22件)

    最近，AI がホットなので，ちょっと AI について書いてみました．2023年04月24日

    • AI についての考察いろいろ
      

• 連絡先：

  このサイトの内容について何か連絡したいことがありましたら， プライバシーポリシー の最後に書いてあるメールアドレスまでメールをください．

  ---

• 朋子さんのこと

  2020.04.14 (火) に私の奥様の朋子さんがお亡くなりになりました．身内の死の ことで内容が深刻であり，上の日記に混ぜるのは読者にとって危険なので，こちらに 朋子さんが亡くなったことに関係することを書いていきます．

  1. 私の奥様の朋子さんが 突然亡くなられてしまいました 2020年 4月24日～

  2. 私の奥様の朋子さんが 突然亡くなられてしまいました (2) 2020年7月11日～