欝っぽい日記再び
論理学とか数学とか計算機科学とか哲学とか。ひたすら個人の見解を述べます。うろ覚えで書いたりするのであまり信用しないでください。間違いの指摘等歓迎いたします。でもきつい言い方はやめてください。
2013年12月18日水曜日
ソシュールの言語理論と言語使用
›
ここでは、ソシュールのラングと言語使用との関係を考える。意味の使用説では、意味は言語の使用を説明しなければならないという要請があった。ラングとパロールを区別するソシュールの言語理論では、この要請が満たされないことを論じる。 まずソシュールの言語理論、とくにラングとパロールの分...
2013年12月8日日曜日
意味の使用説について
›
本論では、ヴィトゲンシュタインが唱えたとされる「意味の使用説」についてそれを主張するに至るアーギュメントを再構成してみたい。ここでヴィトゲンシュタインの考えとしては、「哲学探究」のものを主として考える。「哲学探究」のテキストとしては、丘沢静也訳の岩波書店版を参照する。 「意味...
2013年8月28日水曜日
OCamlとRubyで同じプログラムを書いてみた
›
以前書いたとおり、 OCaml と Ruby で簡単な家計簿プログラムmohを作った。全く同じというわけではなく、後に作ったRuby版のほうが機能を追加したりしているけど、面白い経験だったので感想を書いてみる。 客観的な比較 サイズを行数で比較すると、OCaml版は27...
2013年8月27日火曜日
お財布をプレーンテキストで管理する その2
›
mohとは? moh (MOney Handler)はコマンドラインベースのシンプルな家計簿ソフトウェア。シンプルと言っても、複式簿記になんとなくは基づいているつもり。私は簿記は習ったことがないので、あまりあてにはならないけど。以前OCamlで書いた時の エントリ はこちら...
2013年7月24日水曜日
荘子、孟子を批判する
›
孟子と荘子はほぼ同時代の人であったらしい。互いに全く言及していないようだが、似たような思想的雰囲気を共有していた可能性はあると思う。孟子の文章と荘子の文章のなかにつながるように思われる部分があったので、それを荘子の孟子批判として読んでみたいと思う。 孟子の性善説について ...
2013年7月10日水曜日
CSPによる並行システムの検証その2
›
阪大での講義のスライドとサンプルコードを公開する。前回→ CSPによるコンカレントシステムの検証(1) スライド サンプルコード OS.csp enum {l, m, h, none}; var active = none; var wait_h = fa...
2013年7月3日水曜日
CSPによるコンカレントシステムの検証(1)
›
大阪大学で講義をした。 CSPによるコンカレントシステムの検証(1) from Yamagata Yoriyuki 次回→ CSPによる並行システムの検証その2
›
ホーム
ウェブ バージョンを表示