圏論の計算のために、テキストエディタとキーボードだけでも容易に入力可 能な記法を提案し、計算を実行してみる。この記法は、図式順（diagrammatic order）に左から右に向かって書き記す方式である。 1. はじめに 圏論の計算のために、テキストエディタとキーボードだけでも容易に入力可 能な記法を案出しようと何度か試みて、何度か（試みと同じ回数）挫折した。 それで得た教訓は、あまり高望みせず（所詮、テキスト表現では限度があるから）、 できることだけをチマチマとやっていくほうがよさそうだ、ということ。それ で、自然変換の計算にしぼって、アスキー文字＋ギリシャ文字(*注1)で書け る記法を提案し、計算を実行してみる。 テキストによる式は、diagrammatic order、つまり左から右に読めること に拘った。この特徴を強調して、ここで述べる記法を‘図式順テキスト記法 （Diagram
Ruby Weekly is a weekly newsletter covering the latest Ruby and Rails news. This post is by Matt Sears of Littlelines. Rdoc.info is Rubyists) to generate documentation for Ruby libraries hosted on Github. If you’re not familiar with YARD, it allows you to add metadata to Ruby documentation
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 GoogleDocs OutlinerはGoogleDocsを使って長文を書く人のためのブックマークレットです。 インストール 以下のリンクをブックマークに登録してください。 GoogleDocs Outliner 使い方 Googleドキュメントを開いて、ブックマークレットを実行します。 上図の右側にでているようなアウトラインが表示されます。 アウトラインは内容の変化にあわせて自動的に更新されます。 "GoogleDocs Outliner"をクリックすると開閉が切り替わります。 [X]ボタンをクリックするとアンインストールされます。 動作環境 Firefox 3.0でのみ動作確認をしています。 ライセンス ソースコードは ht
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
