デカルト閉圏におけるお絵描き計算の基礎 - 檜山正幸のキマイラ飼育記 (はてなBlog)
昨日の圏論勉強会に少し顔を出しました。そしたら、たけをさんがお絵描き計算（絵算；pictorial calculation）をしていました（この記事を参照）。けっこうめんどくさい計算をお絵描きしていたので、その場でお絵描き2級を授与しました（少し、はやまった気もするが）。 使っていた描き方は、「デカルト閉圏における絵算 詳細編」のものですが、実は「デカルト閉圏における絵算 オマケ」で補足訂正しているので、新しい流儀を使ってくださいな。新しい描き方を使うと、ベータ変換、イータ変換がより直感的になります。そのことを以下で説明。 内容： 新しい描き方 ベータ変換のアニメーション 引き伸ばしとジグザグ等式 関連するエントリー 新しい描き方 ラムダ抽象（カリー化）により分岐とループができますが、新しい描き方では： 分岐ノードを小さな丸で描く。必要なら文字「λ」で印を付ける。 ループの向きは逆方向だと
UC Berkeley Webcasts | Video and Podcasts: Fall 2010 Courses
UC Berkeley's Webcast and Legacy Course Capture Content is a learning and review tool intended to assist UC Berkeley students in course work. Content is available to UC Berkeley community members with an active CalNet and bConnected (Google) identity. UC Berkeley Log-in UC Berkeley members please log into the new search directory website with your CalNet identity and passphrase(link is external) t
Programming in C
Programming in C UNIX System Calls and Subroutines using C. A. D. Marshall 1994-2005 Substantially Updated March 1999 Next: Copyright Search for Keywords in C Notes Keyword Searcher Download Postscript Version of Notes Click Here to Download Course Notes. Local Students Only. Algorithm Animations Direct link to Java Algorithm Animations (C related) C COURSEWARE Lecture notes + integrated exercises
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
reddit: the front page of the internet
DBDesigner4 Manual(日本語)
fabFORCE.net