H
ome
会誌
2010 (Vol.51)
2009 (Vol.50)
2008 (Vol.49)
2007 (Vol.48)
2006 (Vol.47)
2005 (Vol.46)
2004 (Vol.45)
2003 (Vol.44)
2002 (Vol.43)
2001 (Vol.42)
2000 (Vol.41)
1999 (Vol.40)
1998 (Vol.39)
1997 (Vol.38)
1996 (Vol.37)
1995 (Vol.36)
1994 (Vol.35)
1993 (Vol.34)
1992 (Vol.33)
1991 (Vol.32)
1990 (Vol.31)
1989 (Vol.30)
1988 (Vol.29)
1987 (Vol.28)
1986 (Vol.27)
1985 (Vol.26)
1984 (Vol.25)
1983 (Vol.24)
1982 (Vol.23)
1981 (Vol.22)
1980 (Vol.21)
1979 (Vol.20)
1978 (Vol.19)
1977 (Vol.18)
1976 (Vol.17)
1975 (Vol.16)
1974 (Vol.15)
1973 (Vol.14)
1972 (Vol.13)
1971 (Vol.12)
1970 (Vol.11)
1969 (Vol.10)
1968 (Vol.9)
1967 (Vol.8)
1966 (Vol.7)
1965 (Vol.6)
1964 (Vol.5)
1963 (Vol.4)
1962 (Vol.3)
1961 (Vol.2)
1960 (Vol.1)
49-1
|
49-2
|
49-3
|
49-4
|
49-5
|
49-6
|
49-7
|
49-8
|
49-9
|
49-10
|
49-11
|
49-12
このサイトでデータならびに商品をご購入する際は
ユーザ登録(無料)
が必要となります。
※万が一ダウンロードされたPDFが閲覧できない場合は
サポート係
までご連絡下さい
会誌「情報処理」 Vol.49 No.5 目次
目次,編集子独白
(川合慧)
特集
フォーマルメソッドの新潮流
編集にあたって
(塚田恭章)
Part I: 歴史と概要 : 1.フォーマルメソッドの過去・現在・未来-適用の実践に向けて-
(荒木啓二郎)
Part II: 産業界への応用 : 2.フォーマルメソッドのフィールドワーク
(木下佳樹・高井利憲・大崎人士)
Part II: 産業界への応用 : 3.携帯電話組込み用モバイルFeliCa ICチップ開発における形式仕様記述手法の適用
(栗田太郎 )
Part II: 産業界への応用 : 4.C言語へのフォーマルメソッドの適用
(宮崎義昭・橋本祐介)
Part III: 新領域の開拓 : 5.フォーマルメソッドの新展開-検証進化可能電子社会の中核技術-
(二木厚吉)
Part III: 新領域の開拓 : 6.匿名性とプライバシのためのフォーマルメソッド
(真野健)
Part III: 新領域の開拓 : 7.フォーマルメソッドによる暗号安全性
(萩谷昌己)
解説
科学技術計算による宇宙映像表現の活用動向
(安藤幸央)
オフショア・ソフトウェア開発の進化と技術者の経験知
(辻洋・守安隆・盛忠起)
映像品質評価法の国際標準化動向
(堀田裕弘)
部分空間法の今昔(上) : 歴史と技術的俯瞰 : 誕生から競合学習との出会いまで
(黒沢由明)
Web検索における人名の曖昧性解消技術の動向-同姓同名のクラスタリング-
(関根聡)
書評
プログラマの数値解析+α
コラム
研究会千夜一夜 : ユビキタスコンピューティングシステム研究会
(大内一成 ・戸辺義人(UBI))
研究会千夜一夜 : 放送コンピューティング研究グループ
(義久智樹・岡田謙一(BCCgr))
会員の広場,有料会告等