核言語，モジュールシステムの解説のみならず，Standard ML基本ライブラリ (The Standard ML Basis Library)の詳細な解説とそれらライブラリを使った インターネットプログラミングプロジェクトを含む最新の入門書． 更新情報（令和２年9月22日） 練習問題の解答例の誤り等を修正。 「テキスト中のプログラムのソースコード」執筆再開 テキスト中のプログラムのソースコード 練習問題の解答例 (New Version) 正誤表 （Errata） 「プログラミング言語Standard ML入門」に準拠した解説スライド（日本語，Core ML部分のみ，暫定版） （少々大きなPDFファイル） 「プログラミング言語Standard ML入門」に準拠した解説スライド（英語版） （少々大きなPDFファイル，3７８ページ） Standard MLプログランミングのシラバス例，試験問

[ 大堀・上野研 | 教育内容 | 講義関連資料 | コンパイラ | SMLの参考資料 ] SML#開発チーム（著，編集，収集）によるML関連資料 このページには，ML言語を使用したソフトウエア開発，教育，研究にとって有用 と思われる情報を収集公開していく予定です． 有益な情報をお持ちの方でご協力頂ける方はぜひご連絡ください． 教科書，チュートリアル Web上のチュートリアル Windows上で学ぶMLとCの初歩 の執筆を開始しました． Windows上のCとMLのプログラミング環境の整備から始め， CとMLのプログラミングの考え方からSML＃をのCとMLの連携機能を使った高度な プログラミングまで予備知識なくを学べるものをめざしています． プログラミング言語Standard ML入門 「プログラミング言語Standard ML入門」に準拠 した解説スライド（日本語，Core言語のみ，暫定

ＳＭＬ＃は東北大学電気通信研究所 大堀研究室 が開発を進めているプログラミング言語です．従来のStandard MLの定義と後方互換性を保ちながら，我々の基礎研究で得られた実用上重要な成果を取り入れて設計されています． ニュース SML#の開発はGitHubに移行しました．今後このWebサイトは更新しません．最新情報は https://smlsharp.github.io/ をご覧ください．

[ トップ | 目次 | 前ページ | 次ページ ] CとMLは互いに計算に関する考え方の異なるプログラミング言語である． Cは計算機のメモリー構造へのアクセスと変更を基本とし， MLは関数を定義し関数を組み合わせ値の計算をすることを基本とする． これらは，どちらが基本的とかより優れているといったものではなく，相補的な概念である．Cのプログラムでも多数の関数が利用され，また、MLの実用的なプログラムでもメモリー構造へのアクセスや更新が必用になる場合がある． さらにこれら二つの言語は，プログラムの典型的な二つの側面を代表している．プログラミング言語は，計算機が実行する計算を記述するための言語である．現在のデジタル計算機は，メモリーの変更を繰り返すことによって計算を行う．Cは，この計算機上で行う計算に忠実なモデルをプログラマに提供する．プログラマは，C言語を通じて，実際に行われるメモリーへの変