人間生活学部 生活情報学科 教授
泉 直子（いずみ なおこ）
データベース入門・基礎
ビジネスデータ活用基礎・応用
| データベース入門・基礎 | データベースモデルとDBMSの機能、SQL言語、障害とバックアップ |
|---|---|
| ビジネスデータ活用基礎・応用 | 表計算ソフトとマクロ言語によるビジネス情報の収集、蓄積、整理 |
ソフトウェア工学（データベースの論理的検証、Ontology、 Bioinformatics）
| 日本ソフトウェア科学会 | 情報処理学会 |
東京工業大学 理工学研究科情報工学専攻博士課程修了
| 1978年4月 | 富士通株式会社入社 |
|---|---|
| 1996年4月 | 十文字学園女子大学社会情報学部講師 |
| 2000年4月 | 十文字学園女子大学社会情報学部助教授 |
| 2005年4月 | 十文字学園女子大学社会情報学部教授 |
| 2011年4月 | 十文字学園女子大学人間生活学部教授 |
博士（工学）
| Formal system of Interactions on Biomedical Ontology The 19th European-Japanese Conference on Information Modeling and Knowledge Basis IOS Press Ohmsha, Information Modeling AND KNOWLEDGE BASES ⅩⅩⅠpp291-298 Naoko Izumi，Naoki Yonezaki 2010年 |
|---|
| Linuxコミュニティと若者コミュニティ 日本認知科学会 テクニカル レポート 総頁数：8頁 2010年 泉 直子、角田真二、長坂敏史 |
| A Logic of Ontology for Object Oriented Software Components The 11th European-Japanese Conference on Information Modeling and Knowledge Basis IOS Press Ohmsha, Information Modeling AND KNOWLEDGE BASES ⅩⅢ pp83-99 Naoko Izumi，Naoki Yonezaki 2002年 |
| 「Linux型コミュニティーにおける「お互い様」世界」 財）新技術振興渡辺記念会、（財）科学新聞社、（財）未来工学研究所主催 「知識社会とは何か？」25年後の日本、あなたはどう創りますか ppⅡ16- Ⅱ22 2008年7月 佳作入賞 長坂敏史、角田真二、泉 直子 |
| Qualitative Inference Rules for Analysis of Biological Object Interactions 9th International Conference on Bioinformatics, 2010 Takashi Tomita, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki |
| Possible behavior analysis of Gene Regulatory Networks by Linear Temporal Logic 9th International Conference on Bioinformatics, 2010 Souhei Itou, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki |
| Qualitative analysis of gene regulatory networks by satisfiability checking of Linear Temporal Logic, Proceedings of the 10th IEEE International Conference on Bioinformatics & Bioengineering 2010 Souhei Itou, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki |
| A quantitative semantics of formal ontology of drug interactions The 2008 International Conference on Bioinformatics & Computational Biology Koji Tashima, Naoko Izumi，Naoki Yonezaki |
| 形式オントロジーに基づく遺伝子調節のための数値モデル 情報処理学会 バイオ情報学研究会第8回研究会 Vol.2007 No.21 P71-78 秋山卓見、泉 直子、米崎直樹 |
| Structure of knowledge -Abstraction hierarchy and layered ontology International Symposium on Large-scale Knowledge Resources(LKR2007) pp41-44 Naoki Yonezaki, Izumi Naoko |
| Formal Ontology of Object Interaction International Symposium on Large-scale Knowledge Resources(LKR2006) Naoki Yonezaki, Izumi Naoko |