「並列処理、時間の空間、マンダラ」あたりの続き。なにやらゴチャゴチャと考えている。最近気付いたことは、時間の空間の基本要素は1セル（矢印）である「ステップ」であって、0セルである「時点」は不要だということ。0セルはあるにはあるのだが、副次的な…

人は時間と空間を独立に考えるのが苦手だ。だから、時間と空間の使い方を一緒にパッケージ化したパターンを使いたがる。そのようなパターンの典型はcall/returnだ。call/returnは偉大な発明で、制御構造を考えることを劇的に簡単にした。だが、どんな素晴ら…

F:D→C が関手のとき、Cone(F:D→C) = Cone(F) はFの錐の圏とする。一方、Cone(F)[A] は |Cone(F)| の部分集合で、A∈|C| を頂点とするF-錐の全体とする。G(A) := Cone(F)[A] として定義される対応は、反変関手にできる。GはFから作られた錐関手と言ってもいい…

「並列処理」で述べた話に関係する。 “時間の空間”の圏 ↑で「時間の空間」という変な日本語を導入した。それ以来「変な言葉」と後ろめたく思いながらも使い付けている。 「時間の空間」で検索： http://d.hatena.ne.jp/m-hiyama-memo/searchdiary?word=%BB%F…

デジタルカメラのソフトウェアである MyFinePix Studio はずっとずっと前にインストールしたらしい。CDROMを探す前にアプリケーションのメニューを先に探すべきだと思った。それにしても、MyFinePix Studio とそのインストーラーは出来が悪い。

Catyのコマンド／アクション、クライアント状態（≒画面、UI）、型チェックと分岐、ファシリティ／エンティティなどを使って、基本的な処理パターンを表現してみる。 以下に描画用のソース。

Catyの諸々の定義やプログラムは、モジュールで構成される。そのモジュールを可視化すると、疑問符（'?'）やグレーの図形が表示されることがある。このモジュールのソースは次。 /** * 不完全なモジュール */ module tt in cara;/** 型の定義は後でする（def…

「設計」（design）より「プラン」（plan）という言葉を使おうと思う。これはH氏の提案だ。英辞郎でplanを引くと： 計画、企画、予定、今後の進め方 設計図、図面、平面図、伏図 意向、つもり、考え、意図 ◆通常複数形で使う とあり、もともと絵図の意味を持…

Catyでは、コマンド／アクション（アクションはコマンドの特殊なもの）は薄緑の楕円で描くことにしている。単なる習慣だけど、習慣を守るとイチイチどうしようかと考えなくて済む。CatyScriptは徹底的に図式的・絵的（pictorial/graphical/diagrammatic）な…

ダウンロード用に、アカウントを発行してそれを使え、ってのは良くない方法だと思った。

PayPal以外に、ある種の送金機能としてAmazonギフト券がある。単なる番号だからメールで送れるし、誰かに譲渡することもできる。送金手数料はゼロだ。しかし： アマゾンで買い物をしない人には価値がない 現金に換金するのが困難。よくても8割くらい。現金の…

http://d.hatena.ne.jp/m-hiyama-memo/20120104/1325658594 と同じ内容だが、もう一度説明。 型Aのデータが流れるワイヤー 値xが生成される 値が特にvoidのときは、点線にする。voidが生成される、あるいはvoidが流れるワイヤー。 型Aのデータを捨ててしまう…

Catyで実行可能なものはコマンドである。コマンドだけが実行可能であり、コマンドしかない。その意味でコマンド一元論。アクションというのもあるが、これはWeb経由で呼び出し可能なコマンドをアクションと呼んでいるに過ぎない。コマンドは入力と出力を持ち…

並列処理がやっと少しはわかった気がした。当たり前のことだが、「CPUとは何であるか？」を理解しないと並列処理は理解できない。別な言い方をすると、CPUの形式的な定義が必要。ラベル付き遷移系は、状態空間とメソッド（ラベル）からなるから、クラスだと…

PayPalで送金すると、通常 3.6%+40円 がかかる。プライベートな送金なら無料だが、この「プライベート」がどうもグレーで、違反するとアカウント停止。 (defun calc-pay-1 (x) (- (- x (* x 0.036)) 40)) (defun calc-pay-2 (x) (calc-pay-1 (calc-pay-1 x))…