SML#に関する資料

SML＃に関する論文や招待講演などの資料です．

• ACM ML2011ワークショップ/ACM ICFP招待講演（大堀，2011年9月18,20日） ご覧になる上で，以下の点をご留意ください．
  • 内容をより明確にするために，一部修正しています．
  • このスライドの中で，"hacker（ハッカー）"という用語を，その語本来の創造的プログラマと言う意味で使用しています．巧みなコーディングもその要素ですが，必要なら種々の体系を構築しそれらを駆使した創造的プログラミングを実践する者を意味しています．私は，講演の中では，関数プログラミングの分野で私が尊敬する多くのhackerに敬意を払い，我々自身に対してはスライドの1５ページ目のhackersをprogrammersと言い換えました．プログラミングの研究者/開発者にとって，そのような語感をもつ言葉であり，ITに関する知識を使い反社会的行為を行う者を指す言葉ではありません．
  • このスライドの中で，将門塚を写真入りで紹介しています．これは，オブジェクトを移動させるGCの不条理さを指摘するとともに，日本に来られた海外の研究者に，志半ばで非業の死を遂げた先人の魂を畏怖し敬う日本の心を紹介する意図を持ったものです．我々は，この写真を取るにあたり，畏怖の心を持ち将門の霊に参拝いたしました．招待講演の中でも，英語にて,将門の崇拝すべき霊（venerated sprit）に対する態度を説明いたしました．

• 函数プログラミングの集い 2011 in Tokyo でのSML#紹介スライド（上野，2011年9月17日）
  • ご覧になる上で，以下の点をご留意ください．
  • アカデミックでない場での発表のため，聴衆に親しみやすい印象を与えることを第一に考え，手書き風のフォント（うずらフォント）や絵，ジョークなどを使用しています．また，意図を簡潔に伝えるために敢えて語弊を恐れずに不正確な表現をしている箇所があります．
  • GrassとSML#は一切関係ありません．
  • 発表当日の様子はustreamで見ることができます．01:17:23頃からがSML#の発表です．

• 日本ソフトウエア科学 PPL2007招待講演（大堀，２００７年３月８日）

• 日本ソフトウエア科学会大会招待講演（大堀，２００６年９月１４日）やや大きなPDFファイル （2007年2月18日：簡単な前書きを追加．誤字を修正．）

• 日本ソフトウエア科学会 ソフトウエア工学の基礎研究会（FOSE）招待講演（大堀，２００５年１１月１１日）

• non-moving GC
  • 出典：　An efficient non-moving garbage collector for functional languages, K. Ueno, A. Ohori, T. Otomo, In Proc. ACM ICFP Conference, pp:196-208, 2011.
  • コピーライト： Copyright ACM, 2011. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in ICFP'11: Proceedings of the International Conference on Functional Programming, September 19-21, 2011, Tokyo, Japan. http://doi.acm.org/10.1145/2034773.2034802

• SQLとのシームレスな統合
  • 出典： Making Standard ML a practical database programming languages, A. Ohori, K. Ueno, In roc. ACM ICFP Conference, pp:307-319, 2011.　
  • コピーライト： Copyright ACM, 2011. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in ICFP'11:　Proceedings of the International Conference on Functional Programming,　September 19-21, 2011, Tokyo, Japan. http://doi.acm.org/10.1145/2034773.2034815