このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama

メールでのご連絡は hiyama{at}chimaira{dot}org まで。

はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。

参照用 記事

2009-01-01から1年間の記事一覧

シーケント計算と例外処理コード

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

「晩に渋谷でパスタの会:双対編」(コパスタを食べる余会)終了

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

typo フィイル

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

圏論:モノかつエピな射 再び

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

本日のtip:Emacsで、文字をアンパサンドによる文字参照に置き換える

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

JavaScriptで言語処理系の勉強をしましょう:字句解析編

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

JavaScriptで仮想機械の勉強をしましょう

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

はじめてのCatyサイトを作ってみよう

フーッ、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スクリプトの例外処理 これでほぼ決まりかな

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

これなら分かる! 超図解・ファッション用語

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

風邪ひいた

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

Caty/Python Prototype-1 version 1.1.0 @ Bitbucket

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

一線を越えたファッション

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

Caty:状況

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

カロウビ展開圏の特徴付け

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

論理:証明可能性と普遍妥当性

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

またかよ>自分

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

カロウビ展開圏:関手としてのカロウビ展開

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

カロウビ展開圏:実例

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

Caty:静的型検査の方針と枠組み

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

カロウビ展開圏

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

Caty:シェルフロントエンドの機能と構造

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

Caty/Python Prototype-1 version 1.0.0 @ Bitbucket

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

白髪

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

浅海さんによるCatyの感想記事

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