スポンサーリンク
総合研究大学院大学|国立情報学研究所 | 論文
- 制約概念を用いるソフトウェアデザイン
- Alloy : 自動解析可能なモデル規範形式仕様言語
- 展覧会カタログとWebサイトの博物館資料メタデータ比較の試み
- Web上で公開された博物館資料メタデータの評価の試み
- 有界モデル検査法を用いたCプログラムのモジュラー検証
- FODAフィーチャー・ダイアグラムの形式化と検査の自動化
- 展覧会カタログメタデータ評価の試み
- 有界モデル検査法を用いたモジュラー検証のテストケース生成による補完
- 図書館及び関連組織のための国際標凖識別子ISIL
- 国内情報(1)家畜改良センター内イントラネットシステム
- CRLと共同コレクション : ""Creating New Strategies for Cooperative Collection Development""会議に参加して
- 漢字情報処理とUCS (アジアを知る 2 : 中国と漢字情報)
- 多言語目録データベースの課題
- 英国CATプロジェクトを終えて
- IDEAMA--国際電子音楽ア-カイヴ--初期電子音楽資料の作成など
- 漢字コードの種類と相互関係はどうなっているの?
- 英国CATプロジェクト終了
- ISO10646 UCSと漢字(テーマ:漢字のISO CODEの設定の問題)(招待講演セッション)
- 英国の大学図書館によるNACSIS-CAT試用の状況 : 英国出張報告
- 第3回CJK-JRCと統合化漢字レパートリ