名古屋大学大学院情報科学研究科 アカデミックコミュニティシステム
ログイン
コミュニティ ユーザ検索 ヘルプ
ゲストさん ようこそ  English
 
   
新着パブリックリリース

Locky.jpを使おう! (Locky.jp)   2006/04/07(金)
Lokcy.jp は無線LANを使った位置情報ポータルです。

http://locky.jp

ぜひ、ご利用ください!
新着ダイアリー

ACS復活!     2015/10/14(水) 11:38

kawa
時間がかかりましたが、ACSの運用を継続させることになりました。
今後は、工学研究科 河口研究室で運用しています。

よろしくお願いいたします。

#4年ぶりの日記書き込みだ。

情報科学研究科からは見捨てられたので、トップのロゴも書き直します。
ACS停止について     2015/01/08(木) 13:08

山本 修一郎
連絡があり、4月以降は、以下のサイトで

プロジェクト管理などの資料を公開していくことにします


https://researchmap.jp/syamamoto/資料公開/
ソフトウェア工学分野の先導的研究支援事業     2014/12/23(火) 15:28

山本 修一郎
http://www.ipa.go.jp/sec/rise/

(RISE:Research Initiative on Advanced Software Engineering)

●公募期間は2014年12月1日から2015年2月27日までです。  
●公募要領は、IPAのウェブページ(http://www.ipa.go.jp/about/kobo/kobo20141201.html)で公開しています。
仕様とコードについて     2014/12/23(火) 14:38

山本 修一郎
Jet Propulsion LaboratoryのKlaus Havelundさんによる論文
Closing the Gap Between Speci cation and Programming: Vdm++ and Scala
があることを、持尾先生に教えていただいた

http://www.havelund.com/Publications/howard60-ecps.pdf

冒頭の言葉が印象に残ったそうだ。

「Having worked with formal methods speci cation languages, in particular worked with a language such as Vdm and participated in the design of Rsl, creates a wish for better times where programming languages look and feel like these s...
インストラクショナルデザイン     2014/12/23(火) 14:14

山本 修一郎
Instructional Design
「はじめてのインストラクショナルデザイン」という書籍がある
この中で、学習教材作成のために、ゴール分析をすることが提示されている
新着コミュニティ


UCLab輪講2025(14)
【概要】

UCLab輪講2024(21)
【概要】

UCLab輪講2023(23)
【概要】

UCLab輪講2022後期(19)
【概要】

UCLab輪講2022前期(15)
【概要】
コミュニティランキング

1
UCLab輪講2025 (6pt)
ユーザランキング

 
Powered by Kawaguchi Laboratory, Department of Information and Communication Engineering, Graduate School of Engineering
Contact: sec[ at ]ucl.nuee.nagoya-u.ac.jp
Copyright(C) Nagoya University Academic Community System All Rights Reserved.