masterqのブックマーク / 2011年11月16日

masterq id:masterq

2011年11月16日のブックマーク (5件)

奇食の館
奇食の館は世界中のＢ級グルメ・Ｃ級グルメをレポートしていくサイトです。喫茶マウンテン、コーヒーラーメン、シュールストレミング、百味ビーンズ、納豆コーヒーゼリーサンド、アイスクリームラーメンなど
masterq 2011/11/16
joke

food
リンク
Asai Laboratory, Ochanomizu University
あさいです。プログラミング言語の基礎理論を研究しています。どうすれば無駄なくプログラムを実行できるか、楽にプログラムを作れるようになるか、プログラムの誤りを減らせるか。対象をよく理解しその本質をとらえると、自然と物事は簡単なものの組み合わせになってきます。研究室NEWS 以下の論文がカテゴリ1 (国内外未発表枠) で発表されました。論理関係によるshift/resetの部分評価器の正当性の証明 (横関, 浅井) 定義のデータ化による証明木可視化システムMikiβの拡張 (大石,浅井) 以下のポスタがカテゴリ3 (ポスター・デモ発表) で発表されました。 OCaml Blockly を使った中学生向けの１次関数の学習教材 (大石,窪田, 柴田, 茅根, 横関, 浅井) OCaml Blocklyのチュートリアルサイトの理解度向上に向けた改善 (柴田, 浅井) UniverseJsラ
masterq 2011/11/16
お茶の水でも関数型の研究室があるんだ！

ocaml

coq

education
リンク
数理科学的バグ撲滅方法論のすすめ---目次 | 日経 xTECH（クロステック）
筆者住井英二郎「プログラミング言語理論」という研究分野がある。この分野の研究者たちは，「ML」「Haskell」「Scheme」あるいは「λ計算」「π計算」（円周率計算のことではない）など，多くのプログラマにとっては聞いたこともない言語やモデルについて，日夜研究している。ただ，そのような言語は「難しい」「役に立たない」などと思われがちだ。この連載では，こうしたプログラミング言語やソフトウエア科学の様々な研究を，できるだけ普通のプログラマやエンジニアにもわかりやすく（どちらかといえば理論よりも実用に重点をおいて）紹介していく。更新は毎月第2水曜日（1月のみ第3水曜日）
masterq 2011/11/16
住井さんの

ocaml
リンク
CloudCore VPS
2022年9月30日をもちましてCloudCore VPSはサービス提供を終了いたしました。長らくご愛顧いただき誠にありがとうございました。今後は、レンタルサーバー及びマネージド専用サーバーの強化により幅広いお客さまがご利用しやすい環境をご提供するため、経営資源を「CPI」に集中しクラウドホスティング事業を推進してまいります。レンタルサーバーCPI
masterq 2011/11/16
メモリ2GB,ディスク100GB,1 core,945円/月。。。いいじゃん！来年ぐらいに引っ越ししようかしら。。。

vps
リンク
CloudCore VPS
2022年9月30日をもちましてCloudCore VPSはサービス提供を終了いたしました。長らくご愛顧いただき誠にありがとうございました。今後は、レンタルサーバー及びマネージド専用サーバーの強化により幅広いお客さまがご利用しやすい環境をご提供するため、経営資源を「CPI」に集中しクラウドホスティング事業を推進してまいります。レンタルサーバーCPI
masterq 2011/11/16
おもしろい

meeting

vps
リンク
- 2011年11月18日
- 2011年11月16日
- 2011年11月15日