計算機科学用イラストの練習

(計算機科学の教材で使えるイラストを目指して）

(Practice of Illustrations used in Learning Materials for
Computer Sciences)

ホームページトップへ戻る
青空文庫などの著作権フリーなテキストに挿絵や表紙をつける実験 (1) へ

普遍代数のチュートリアルなど

- 動機(Motivation)

計算機科学で使う数学の教材で，挿絵に使えるような簡単なイラストが書けたら良いなと 思って，少しずつ練習しています．絵の訴求力を何とか身につけたいと思っています．

ここには練習のために描いたイラストを載せています． 落書きみたいなのも沢山あります（と言いますか，落書きそのものですけど）．

(I may be happy if I can draw simple illustrations for, say, the explanation of mathematics used in computer science.)

- 習作(Practice)

• 今月も赤字だわ．凸凹ソフトウェア・コンサルティング(Defict again) (2015.12.11)
  
  
  1. 凸凹ソフトウェアコンサルティング旗揚げ（ラフ）(2015.04.08)

     凸凹ソフトウェアコンサルティング旗揚げ（清書版）(2017.06.04)

  2. Ｉ 副社長の憂鬱(2015.04.11)

     それに対する社長のいたわり(2015.04.11)
     I 副社長は，お写真を見ると， このような感じのお方のようですが，イラストを似せて描くと怒られるかもしれませんので あえて似せませんでした（ウソです．下手なので似ないだけです．）． Ｉ 副社長の憂鬱ラフ(2015.04.11)も載せておきます． あと，O 社長は この絵のような 人みたいです (すみません．印刷した紙の裏に落書きしていたものにペンを入れましたので裏写りしています．)．

  3. 紅葉(2015.10.15)

  4. 凸凹ソフトウェアコンサルティングの発想法（ラフ）(2015.04.11)

     凸凹ソフトウェアコンサルティングの発想法（清書版）(2015.08.03)
     I副社長の発言の中で，水のしずくでぼかしたところは，コンサルティングの ノウハウになりますので公開できません．

  5. ソフトウェア開発と秋の雲１（英語版）(2015.09.16)
     Software development project and autumn cloud (1)
     こちらは日本語で書くと，さすがに怖いので，英語版だけです．

  6. ソフトウェア開発と秋の雲２(2017.06.05)
     Software development project and autumn cloud (2)
     

  7. これからどうなる？(2017.06.01)
     What happend?

  8. 色で背景をくりぬけることが分かった．
     今更だが，Powerpoint などのプレゼンテーション作成ツールで背景色を指定して， その背景色を（似ているところも?）くり抜けることが分かった． おかげで，次のように枠に人がかかった絵を簡単に 描けるようになった．落書きが捗る．
     
     

     今日は， 凸凹コンサルティングの研究会で連続体仮説の解説を 話してくる予定だ． 2018年11月22日（木）

• 簡易トレース台のこと(2018.8.21(Tue.))
  
  
  下書きをして，ペンを入れ，そして消しゴムを掛ける作業が面倒になったので，簡易トレース台を作ってみた． 下手な落書きを描くのがずいぶん楽になった．

  飛び先のページの最後にも書いたが，Google Play に トレース台アプリがいくつかあることが分かった． これらも結構使える．2018.09.13 追記
  

• This side and That side
  1. ソフトウェア科学とボサツ様 (2017.7.19)
     This side and that side in Software science
     
     ソフトウェア科学とボサツ様のPDF版

     一応，圏論を勉強しよう( English Page "Let's Study Category Theory")
     
     も作成して，コンテンツを作成中です．

     最近，だんだん，あちら側（That side）の人になっていくような気がしますが，意識をしっかり持ってなんとか踏みとどまろうと思います．

     こういう状態であり続けることが私に必要だと思うのです．

     K君，抽象数学の海で翻弄されるの図

     頑張って翻弄され続けたいと思います．

  2. 束論はどうして勉強しなければならないのか？(2017.8.8)
     Why should we study the Lattice Theory?
     
     PDF版 副題：あちらから帰ってこない．(Subtitle: They do not return.)
     PDF Version (English) Subtitle: They do not return.

     こちらも
     束論を勉強しよう (Let's Study Lattice Theory)
     
     を作って，コンテンツ作成中です．

  3. 抽象的な数学の概念を学習するには (2017.10.22)
     
     湘南台のファミレスでKNDHさんやKRMさんと数学における抽象的な概念の学習に 関して，有益な議論を交わしたときの絵です．
     

• 形式手法シリーズ（続くんだろうか？)
  1. 理想的な形式手法 あるいは 形式手法の分類(2017.8.7)
     Utopia of Formal Methods or classification of formal methods
     
     ソフトウェアの開発や検証に関する形式手法はとても大切な研究課題だと思います．
     

     PDF版

  2. 先生，形式手法に出会う(２回目まで続いてしまった． 2017.8.26)
     The Boy meets Formal Methods.
     
     人と技術の出会いというものは不思議なもので．
     

     PDF版

• 表紙シリーズ
  素人なりの本の表紙をデザインする方法を考えています．
  1. 本の表紙を考える

  2. メモのような日記のような：本の表紙をデザインするページを作った

     

  3. 青空文庫などの著作権フリーなテキストに挿絵や表紙をつける実験 (1) を始めた．
     これは青空文庫のテキストい簡単な挿絵ライクなイラスト＋文を付けて行って， 読みたい本のブラウジングに役に立つかどうかの実験だ．現在，90テキスト/36著者 作成済．2018.12.19 (水)

• ドイツ語シリーズ（作成した資料の最初の部分だけ）
  (Approach to German words from Etymology)
  1. Wichtig is weighty (2016.7.19)
     
  2. Doch and Though cognate. (2016.7.17)
     
  3. Aus and Out (2016.7.21)
     

• M-Automata (Automata with a monoid register) (2016.8.29)
  やっぱり主に数学とか計算機科学用のイラストの練習ですからね．それらしいものも載せておきます．M-オートマトンです．

  

  オートマトンを拡張して，適当なモノイドMの値をとるレジスターRを１つもたせ， 状態遷移の時にエッジにつけられたモノイドの値をRに掛け込むことを許した オートマトンです．似たようなコンセプトの機械は昔から沢山提案されています．例えば， 多段につながったミーリーのオートマトンも，１段目とそれ以降に分けて，それ以降を１つの モノイドと考えれば，M-Automatonの例でしょうか．レジスタに入れるモノイドとして 無限モノイドも許せば，そのモノイドのクラスに応じて，正規言語だけでなく， 文脈自由言語や再帰言語も表現できます．詳しくは，

  M Kambites: Formal languages and groups as memory, Communications in Algebra 37 (1), 2006, pp193-208

  を参照してください．これは，モノイドとして自由群を許せば文脈自由言語を このM-Automatonで表現できるという論文です． また，こちら（M-Automataの解説: simple explanation of M-automata）にも私が作成した簡単な解説があります．

  M-Automatonには，受理の条件などいろいろバリエーションがあるのですが，本質は，アルファベットをA, 状態の集合を Q，モノイドをMとするとき，
  

  μ : A -> Q -> Q × M
  という関数に集約されると思います．

  Wreath product や 半直積(Semidirect product) を理解するとき，よいモデルを提供する ことができるので 理解しておくと，半群(semigroups)の勉強のとき役立つと思います．