スポンサーリンク
総合研究大学院大学|国立情報学研究所 | 論文
- CJK-JRGとDIS10646--背景,経過,今後(情報・ドキュメンテ-ション標準化ニュ-ズレタ-,No.1(1991.11)より転載) (標準化活動の概要--ISO/TC46の動向を中心に)
- 翻字,ロ-マ字,ISO (標準化活動の概要--ISO/TC46の動向を中心に) -- (第2部 ISO/TC46)
- 韓国の大学図書館電算化国際セミナーに参加して
- CJK-JRG : 漢字コードに関する国際会議
- モデルと言語,目録とオントロジーの間--目録の将来像を考える[含 討議報告]
- 学総目調査と誤り訂正記号
- 誤り訂正符号の調査票記入への応用
- ISO/TC46「情報及びドキュメンテーション」の最近の動向
- プログラム簡易検証ツールESC/Java2(ソフトウェア紹介,先端ソフトウェアツール)
- 先端ソフトウェアツール小特集(先端ソフトウェアツール)
- モデル検査法のソフトウェアデザイン検証への応用(新しいソフトウェアの実現,サイバー増大号)
- ソフトウェアモデル検査とテストケース生成の統合
- 韓国の文字コードについて
- 有限Alloy記述の段階的な構築について
- 展覧会カタログメタデータ評価の試み (情報処理学会第104回情報基礎とアクセス技術研究会(IFAT)発表論文)
- NACSIS-CAT典拠ファイルに見るわが国の日本著者名典拠コントロールの実態
- 書誌ユティリティと目録作成
- MAB1のフォーマット
- 情報検索システムの現状
- MAB1のフォ-マット (MARCと書誌デ-タをめぐって)