しんのすけWiki
リンク
最終更新:
shinsa
-
view
面白いサイトなどへのリンク
- 道の駅の切符を集めているひと → http://www9.ocn.ne.jp/~mizusy34/top.html
- 東京都 道路建設部作成のパンフレット → http://www.kensetsu.metro.tokyo.jp/douken/lib/main.html
東京都の道路行政や各種データ、改良工事例があって興味深い。
- 石油情報センター → http://oil-info.ieej.or.jp/
石油の小売価格が週単位でわかる。ガソリン代の相場を知りたいときに。
地図、地形、道など
研究
Deep Types
Effectなども含めた複雑な型のことか?この人がSMLのdeep typesについて書いている。
Laura Korte
Laura Korte
Functional Programming
IBM dW日本語版より関数型プログラム、特に匿名関数、高階関数についてのチュートリアル。
言語はScheme、および比較のためにCを使用。参考文献あり。原文あり。
Jonathan Bartlett: 高階関数
言語はScheme、および比較のためにCを使用。参考文献あり。原文あり。
Jonathan Bartlett: 高階関数
Concurrent Clean
Haskell系の(pure functional, lazy)関数型言語らしい。まだマイナーか。
日本語サイトは以下の2つが参考になる。
Concurrent Clean紹介 - lethevertの純粋関数型言語Concurrent Clean覚え書き
純粋関数型言語Concurrent Clean
日本語サイトは以下の2つが参考になる。
Concurrent Clean紹介 - lethevertの純粋関数型言語Concurrent Clean覚え書き
純粋関数型言語Concurrent Clean
Java
Java SE 6が発表された。
Java Platform, Standard Edition 6 Release
Java Platform, Standard Edition 6 Release
Logic
Type Systems
Formal Verification, Model Checking
Program Analysis
数理心理学
よくわからんが、日本語など自然言語の用法を論理学、代数学を用いてモデルしているようだ。
大作テキストあり。
http://homepage3.nifty.com/gomiken/mathpsy/mathpsy.pdf
大作テキストあり。
http://homepage3.nifty.com/gomiken/mathpsy/mathpsy.pdf