先週の土曜に、「晩に渋谷でパスタの会：双対編」を開催しました。例外処理の話をする予定ではいたのですが、当日の朝になって突然シーケント計算と絡めようと思ってしまいました。ところが、シーケント計算の話は最後の15分くらい。ちょっと残念。ここでは…

コパスタを食べる余会（意味不明） 11月28日(土曜) 18:00から22:00； 申し込み15名、欠席なし、飛び入り1名、檜山入れて17名（キャパオーバー）で開催。 資料みたいなもの トラックバック： Readerモナドはちゃんとしたモナドでした - bonotakeの日記 報告：…

http://d.hatena.ne.jp/m-hiyama/searchdiary?word=%a5%d5%a5%a3%a5%a4%a5%eb けっこうあるもんですな、面倒だから直さんけど。

以前、「モノかつエピだがアイソではない例」というエントリーを書きました。順序集合を圏とみなした圏では、すべての射がモノかつエピとなりますが、アイソでない射も含まれる、という内容です。もう少し普通な（なにが普通だ？）の例としてよく引き合いに…

1年ぶりに本日のtip。はてな記法で書いていると、行頭のマイナスとか丸括弧の連続なんかが、はてな記法として解釈されて困ることがしょっちゅう。Emacsの場合、CTRL+C, = とすると文字番号がわかるので、それを見て手でHTML文字参照に直してもいいのですが、…

昨日のエントリーで、小学生レベルの算術計算をする仮想機械RAC0（Rudimentary Arithmetic Calculator Level-0）を示しました。たいへん貧弱な仮想機械ですから、機能を拡張したいとは思うのですが、その前に、RAC0用の高級言語を作っておきましょう。高級言…

事情があって、コンピュータのハードウェアメカニズムをごく簡単に説明したいのです。本物のCPUは難しくて簡単な説明にはならないし、そもそも僕は本物がどうなっているかよく知りません。そこで、オモチャの仮想機械を作ることにしました。加減乗除だけがで…

フーッ、Catyの最初のドキュメントをやっと書いたよ。 はじめてのCatyサイトを作ってみよう ユーザードキュメントはこんな感じです。技術資料は、まー、たぶん、モナドとクライスリ圏がバリバリとか、、、

同じようなネタを繰り返し取り上げているってことは、それに興味があるってことでしょうね。昨日、「例外処理の記述：あー大まちがい、でも面白いなーヤッパリ」というエントリーを書きました。直接的な動機は、さらにその前のエントリーの間違いを訂正する…

トイレに、トイレットペーパーとは別にティッシュの箱、いやっ街中で配られていた袋のティッシュでもいいから置いておく。すると、いざというときに非常に役に立つ。「やはり、備えあれば憂いなし」とシミジミ思うはずだ。

「たら“こパスタを食べるよ”会」の間違いではありません。けど、なんだかワカラン。現状、檜山入れて 9 12 16 名： たけを さん hitotakuchan さん Kuwata さん hiroki_f さん tmiya さん oto-oto-oto さん ardbeg1958 さん Dimly さん hiratara さん 田辺 …

shiroさんに、何度も「違ってるよ」と言われてしまいました。件＜くだん＞のコードは、いつものように、ナプキンペーパーに絵を描いて、それをJava風の逐次コードに書き下ろしたのですが、いかんですねー。うまくないですねー。間違ってますねー。「Java風の…

[追記]勢いよく書いたら、疵＜きず＞だらけでした。修正の取消線があっちこっち。コード断片に取消線は付いてません（追加なので）が、shiroさんのご指摘で直しました。[/追記]次のような入れ子になった例外処理を考えます。 try { try { コード(1) } catch(…

棚上げになっていたCatyスクリプトの例外処理ですが、「これでいいかな」という案を考えました。型推論（静的型解析）に目星が付いたので、それをベースに他のことを考えることができるようになった、という事情です。以下に一通り説明し、最後に補足説明を…

「一線を越えたファッション」より： アレはなんつーんですか、夏くらい(?)から流行りだした、女性のストッキングだかタイツだかで、くるぶしから土踏まずまで回り込んでいるようなヤツ。 そのコメント欄より： YJS 2009/11/13 10:38 m-hiyama さん： > スト…

熱が上がらないのでインフルエンザってことはないだろう。が、やっぱり調子悪いので、おとなしくしてます。

Caty/Python Prototype-1 の 1.1.0 をリリースします。バージョン1.0.0 には深刻なバグがあったので修正しました。わずかに機能拡張したので、バージョン番号は、1.1.0 です。 使えなくなった機能：なし 追加された機能：組み込みコマンド version 今回のバ…

アレはなんつーんですか、夏くらい(?)から流行りだした、女性のストッキングだかタイツだかで、くるぶしから土踏まずまで回り込んでいるようなヤツ。色はたいてい黒。最近は寒いですから、生地は厚手でしょう。そのアレですが、アレはミニスカートとかホット…

プロトタイプ・リリース3は今日・明日くらいには。それはそうと、最近、論理やカロウビ展開圏の話をしているのも、Catyでそれが必要になっているからです。型推論（静的型検査）は最初から入れる予定でした。でも、僕は「ボチボチに」と考えていたんです。ど…

Wikipedia や nLab の Karoubi envelope の項を読むと、具体的な構成法に依存しないカロウビ展開圏の特徴付けが書いてあります。この特徴付けを使うと、具体的定義に基づくよりスマートに証明ができることもあるでしょう。圏Cのベキ等射 a:A→A が分裂（split…

どんな分野でも、用語法や記号法の不整合はあるでしょう。歴史的な経緯でしょうがないのですけど、それが学習者を混乱させたり大きな障害になったりします。僕は、このテの問題に悩まされることが多いので、このダイアリーでもけっこう話題にしています。ん…

「イギリスでも、市橋容疑者が逮捕されたことが報道された」という報道があった。もし、このことをイギリスのメディアが再び報道すると、「日本では、『イギリスでも、市橋容疑者が逮捕されたことが報道された』と報道された」という報道になるのだろう。そ…

カロウビ展開圏（Karoubi envelope）の話です。前回は、カロウビ展開圏の実例を出しましたが、今日は、マクロな立場からカロウビ展開圏を見てみます。ここで、マクロな立場とは、個々の圏を調べるのではなくて、圏の集まりを社会学的(?)に見ることです。記述…

カロウビ展開圏（Karoubi envelope）の話はチマチマとしていくつもり。カロウビ展開圏の実例は自分で作ってください -- と言いたいところですが、いくつかの実例を提示しておきます。集合の圏Setや順序集合の圏Ordのカロウビ展開圏は、計算（コンピュータや…

「型推論」とか「静的型付け」とかいうと若干違うな、という気がするので「静的型検査」という言葉を使うことにします。とはいえ、なりゆきで型推論、静的型付けと言うこともあるでしょうが。Catyスクリプトの構文と意味は「Catyのインタプリタ＝評価関数の…

任意の圏Cに対して、Cの Karoubi envelope と呼ばれる圏を作れるんですよ。Karoubiをなんて発音するかわからんし、envelopeの訳語もわからんけど、とりあえず「カロウビ展開圏」という言葉を使っておきます。カロウビ展開圏はすごく役に立つんだけど、あまり…

Catyでは、言語処理系部分をシェルと呼びます。Catyスクリプトは式言語（簡易な関数型言語）ですが、用途としてはコマンド言語／シェル言語なので、Catyスクリプト処理系を「シェル」と呼んでいるのです。「Catyのインタプリタ＝評価関数の表示的意味論」で…

Caty/Python Prototype-1 の 1.0.0 をリリースします。バージョン番号まず、1.0.0 というバージョン番号で勘違いしないように注意してください。バージョン番号の付け方は極めて機械的で、次のとおりです。Caty/Python Prototype-1 version 0.1.1 ＠ Bitbuck…

次男：「おとうさん、白髪＜しらが＞あるよ。抜いてあげようか」父親：「なに言ってるんだよ、白髪抜いたら髪の毛なくなっちゃうよ」次男：「違うよ、白髪の鼻毛」父親：「えっ、鼻毛？」次男：「うん、白い鼻毛」父親：「それ、めちゃくちゃ格好悪いな」次…

BPStudy#26から1週間たってしまったのですが、今ごろになって浅海智晴さんによる記事を見つけました。 JSON静的型付純粋関数型Webコンポーネント糊言語 - 浅海智晴プログラマ日記 浅海さん、いらっしゃっていたのなら声かけてくれれば／せめてトラックバック…