東北大学電気通信研究所 大堀・上野研究室 - 東北大学電気通信研究所 大堀・上野研究室
大堀・上野研究室では，ソフトウェアの構成原理を探求し，より信頼性の高いソフトウェアを効率よく構築する技術の開発を行っています．特に，新しいプログラミングの枠組みの構築や，データベースに言語技術を取り入れた新しい言語の設計・開発，それらを基礎とした次世代のプログラミング言語の実現に向けた研究などを進めています．また，研究成果に基づきC言語との連携などを実現した次世代高信頼言語SML#の開発を行っています． 本研究室の詳細は大堀・上野研の研究内容および大堀・上野研での学生教育のページや以下の資料をご覧下さい． 大堀・上野研究室の紹介スライド（2020年度版） syokai2020.pdf 研究室見学会は11月7日(水)〜8日(木)に行われます．見学会期間中の見学希望者は通研本館5階M519号室に直接お越しください． 研究室見学会以外の日時で研究室訪問を希望する学生は，大堀教授（ohori [a
プログラミング言語 Standard ML 入門
核言語，モジュールシステムの解説のみならず，Standard ML基本ライブラリ (The Standard ML Basis Library)の詳細な解説とそれらライブラリを使った インターネットプログラミングプロジェクトを含む最新の入門書． 更新情報（令和２年9月22日） 練習問題の解答例の誤り等を修正。 「テキスト中のプログラムのソースコード」執筆再開 テキスト中のプログラムのソースコード 練習問題の解答例 (New Version) 正誤表 （Errata） 「プログラミング言語Standard ML入門」に準拠した解説スライド（日本語，Core ML部分のみ，暫定版） （少々大きなPDFファイル） 「プログラミング言語Standard ML入門」に準拠した解説スライド（英語版） （少々大きなPDFファイル，3７８ページ） Standard MLプログランミングのシラバス例，試験問
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
SML# - SML＃プロジェクト
