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)
47-1
|
47-2
|
47-3
|
47-4
|
47-5
|
47-6
|
47-7
|
47-8
|
47-9
|
47-10
|
47-11
|
47-12
このサイトでデータならびに商品をご購入する際は
ユーザ登録（無料）
が必要となります。
※万が一ダウンロードされたPDFが閲覧できない場合は
サポート係
までご連絡下さい
会誌「情報処理」 Vol.47 No.5 目次
目次，編集子独白
(川合慧)
小特集
サービス・サイエンスの出現:編集にあたって
(水田秀行)
サービス・サイエンスの出現:第68回全国大会特別セッションレポート
(水田秀行)
サービス・サイエンスの出現:Becoming a Service Scientist
(James Spohrer・Paul P. Maglio・Jeffrey T. Kreulen・Savitha Srinivasan・翻訳／恐神貴行・鹿島久嗣・加納真・水田秀行)
サービス・サイエンスの出現:サービス・サイエンスについての動向
(日高一義)
解説
PC搭載セキュリティチップ(TPM)の概要と最新動向
(中村智久・東川淳紀)
画像を用いた個人認証手法
(小池英樹・高田哲司・増井俊之)
特集
高信頼性組み込みソフトウェア開発-最新技術動向と取り組み
編集にあたって
(片岡欣夫・青木利晃・岸知二)
1.高信頼性組み込みソフトウェア開発のための技術課題
(片山卓也)
2.形式的手法による高信頼性組み込みソフトウェア開発
(青木利晃)
3.モデル検査技術によるUML設計検証
(岸知二)
4.高信頼・セキュア組み込みオペレーティングシステム
(中島達夫)
5.リアルタイムスケジューリング理論とその適用事例
(高田広章)
6.組み込みソフトウェア開発におけるレビュー技術
(金子龍三)
連載
21世紀のコンパイラ道しるべ‥COINSをベースにして:HIRの説明と簡単な言語のフロントエンド
(中田育男・渡邊坦)
コラム
オープンソース事情:2．オープンソースソフトウエア・センターの設立
(田代秀一)
標準化よもやま話:研究と国際標準
(石崎俊)
私の情報整理術:タグ付けでノイズの少ない検索
(ただただし)
連載
ナレッジマネジメント:2．知識経営の戦略
(野中郁次郎)
著者紹介，会員の広場，有料会告等
※「閲覧」及び無料コンテンツをご覧いただくためには
Acrobat Reader 5.0(PDF1.4対応)以上(無料)
が必要です
会誌
