サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
アメリカ大統領選
www.kb.ecei.tohoku.ac.jp/~sumii
2010/9/9 17:35-18:25 RSA Conference Japan 2010 1 SECURITY DECODED 住井 英二郎 東北大学 大学院 情報科学研究科 准教授 セッションID: WH‐004 高信頼・高安全 ソフトウェアのための 数理的検証手法: 最新の研究と応用の現状 2010/9/9 17:35-18:25 RSA Conference Japan 2010 2 本講演の概要と目的 z フォーマルメソッド(数理的・論理的 ソフトウェア開発・検証手法)の 基礎理論と応用事例のご紹介 – 「古典」から「最新」まで – 例によるツールのデモンストレーションを交えて z 「釈迦に説法」の部分はご容赦ください z 学界と産業界の橋渡しの一助(を目指す) z ご質問・ご意見・コメント・情報提供等 いただけましたら幸いです 2010/9/9 17:35-18:25 RSA
住井担当の授業一般に関するQ&A (2013年1月更新) はじめに Qこの文書は何ですか? A私(や他の先生)が担当する授業に関して、実際にあった質問や意見一般にQ&A形式で答える文書です。 Qどの授業が対象ですか? A私が担当するすべての授業が対象です。(特定の授業にしか関係がない質問は、ここでは扱いません。) Qどうしてこのような文書を公開するのですか? A私の授業の方針を、より良く理解してもらうためです。 Q本当にこんな質問が多いのですか? Aどれも実際にあった質問や意見(の要約)ですが、必ずしも「多い」わけではありません。「そんなことは言われなくてもわかっている」という人も多いと思います。 一般に、学生は真剣に学習に取り組んでいます。しかし、大学(やそれ以前の学校)の説明不足で「勘違い」をしている場合があるように感じたので、説明する次第です。 レポートの剽窃 Qレポートを提出したら
PPL 2006 � MinCaml � (myth) ⇓ � � � vs. – � vs. – � vs. – � Haskell (www.haskell.org) – � ML (www.standardml.org, caml.inria.fr) • Standard ML (SML), Objective Caml (OCaml) – � Scheme (www.schemers.org) – � low level – GCC C • GCJ Java – javac Java JVM – ocamlc OCaml OCaml VM – ocamlopt OCaml – MLj SML JVM etc. let rec gcd m n = if m = 0 then n else if m <= n then gcd m (n - m) else gcd n (m - n)
About myself: Tohoku University researchers directory (東北大学研究者紹介), researchmap, 略歴・主要業績(PDF) Our lab's Web site (研究室ホームページ) About student application: We receive many spam-like e-mails which are often too general and naive, like "I want to study programming/software engineering/computer science" or "I am good at C/C++/Java" for example. If you are interested in joining our research group, please r
Index of /~sumii/class/proenb2006 NameLast modifiedSizeDescription Parent Directory - _重要連絡_.txt 2006-08-11 08:40 151 _IMPORTANT_NOTICE_.txt 2006-08-11 08:40 151 how-to-send-emails.txt 2006-07-05 12:00 2.5K library/ 2006-07-17 23:26 - ml1.ppt 2006-07-10 13:50 148K ml1/ 2006-06-20 14:50 - ml2.ppt 2006-07-24 15:00 58K ml2/ 2006-06-26 23:42 - ml3.ppt 2006-07-05 14:23 125K ml3/ 2006-07-04 15:16 - ml
このページを最初にブックマークしてみませんか?
『Eijiro Sumii / 住井 英二郎』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く