プログラム言語とその他のメモ。
プログラミングそのものは、あまり好きではない。 当然、実用的な内容はない。 2005年4月以降どうなるか不明。 Lispの(S式以外の)特徴(未完成) Scheme、Common Lisp、Emacs Lispの比較(未完成) 内容のわりに長い。 自己出力プログラムと自己参照プログラム 計算できない問題・関数について 停止問題とかbusy beaver関数の事など。 Schemeでラムダ計算 不動点オペレータについて 再帰的定義に使うYオペレータとかの事。 継続の説明(前置き) 継続の使用法 Schemeでの継続の使用。 SchemeとActor理論 CPS(Continuation Passing Style)について 「SchemeとActor理論」と同じ内容なので、 どうするか考え中。 CPSで多値(とか) values、call-with-valuesがあるから、 無理してS
TeX 熊澤先生
Professor D.E. Knuthが、1977年頃彼の著書 " The Art of Computer Programming"を出版する際、印刷システム（原稿、ゲラ、校正、印刷等）の不便さから、彼自身が独自で開発した文書作成用のソフトウェアです。 通常、パソコンまたは、ワークステーションを用いて、印刷物を作るとき、ワープロやDTP（Desk Top Publishing）と呼ばれるソフトを利用して、作成します。これらは、WYSIWYG(What You See Is What You Get: モニタに映し出されたものが印刷される（正確には、モニタのdpiの値とプリンタのdpiの値の差がある）)ソフトとも呼ばれ、数式や記号を入力する際、マウスを利用することになり、かなり、面倒な操作（マウスを扱うのとTeXのコマンドを覚えるのことのどちらが、面倒なのかは個人に依存しますが）を必要とし
自由に働ける新宿のチャットレディ求人は大学生にもおすすめ
大学生にピッタリな新宿の在宅チャットレディ求人 大学生の方で、楽しい大学生活で必要になるお金をもっと確保したいという方は、新宿のチャットレディプロダクションで在宅チャットレディになってみるのもオススメです。在宅チャットレディ求人の魅力は、プロダクションからパソコンやマイクなどを借りて、自宅で配信環境を作って仕事を行います。プロダクションのチャットルームのような、充実した環境での配信ではありませんが、忙しい大学生の方でも、自宅で配信ができるので仕事がしやすいというメリットが出てきます。 日中は大学で講義を受け、夕方はサークルや友達との飲み会などで帰ってくるのは21時以降という女子大生の方も多いですが、そんなハードスケジュールの方でも在宅チャットレディなら問題ありません。22時や23時頃から1、2時間程度配信をすれば、それでお金を稼げるからです。普通のコンビニなどのバイトでも、夜遅くから仕事が
モノイドと圏はやっぱり似ているね - 檜山正幸のキマイラ飼育記 (はてなBlog)
昨日のエントリーへのHNさんのコメントに触発されたことがあります。とはいっても、新しいことを思いついたのではなくて、少し頭の中を整理しただけのことですが。 モノイドの再定式化 (M, ・, 1) がモノイドだってことを言い換えてみましょう。m:M×M→M と u:{0}→M を m(x, y) = x・y、u(0) = 1 と定義すると、集合圏で射 m:M×M→M, u:1→M （1 = {0} は、集合圏の終対象かつ直積単位）があって、結合律と単位律に相当する可換図式が成立していることになります。 [結合律] M×M×M - m×id → M×M ｜ ｜ id×m m ↓ ↓ M×M ----- m --→ M [左単位律] 1×M - u×id →M×M ｜ ｜ ｜ m ↓ ↓ M ============ M [右単位律] M×1 - id×u →M×M ｜ ｜ ｜ m ↓ ↓ M
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
