工学修士, 東京工業大学

博士（工学）, 東京工業大学

Reuse

Requirements Engineering

Formal Method

再利用

要求工学

形式手法

Informatics, Software

01 Apr. 2007
電気通信大学, 助教

Oct. 1993 - 31 Mar. 2007
The University of Electro-Communications, Research Associate

Sep. 1993
Tokyo Institute of Technology, Graduate School, Division of Science and Engineering, Computer Science Course

Mar. 1990
Tokyo Institute of Technology, Graduate School, Division of Science and Engineering, Computer Science Course

Mar. 1988
Tokyo Institute of Technology, Faculty of Engineering, 情報工学科

Mar. 1983
東京都立富士高等学校, 普通科

高信頼細粒度部品再利用による形式手法におけるソフトウェア合成
Takehiro Nakamura; Takeshi Oda; Tetsuro Nishino
情報処理学会論文誌, 54, 8, 2012-2024, Aug. 2013, Peer-reviwed, 部品再利用によるソフトウェア合成は開発コスト低減や信頼性向上に有効であるが，高信頼な部品の整備が容易でなく，また，適用可能な問題領域が限定される点が問題となる．本稿ではこの問題に対してモデル充足ソフトウェア合成（MSSS）を提案する．MSSSは形式手法B Methodの信頼性保証を応用したモデル充足細粒度部品に数学的判定による健全性の高い再利用を適用してソフトウェアを合成する．これにより部品の信頼性を静的に保証でき，また変数名や部品名の解釈に起因する誤りを排除できる．一方で変数名や部品名に意味を持たせないため，部品名での機能の呼び出しによる合成ができず，変数名の書き換えや結合が必要になる．よって，本稿ではMSSSの信頼性を'モデル充足'として数学的に定義し，そこからMSSSの手順を定めることで，互いに矛盾しない部品群を再利用したソフトウェアがB Methodの信頼性を満たすことを保証する．また，MSSSでは要求仕様を一意の粒度に細分化して部品の仕様に対する検索キーとするため，検索キーを不足部品の仕様として提示でき，さらに，部品自動生成により部品を容易に整備できる．これにより，合成手法を適用可能な問題領域の拡大と，それによる高信頼ソフトウェア開発の低コスト化と迅速化が期待できる．Software synthesis by reusing software components is effective to reduce development cost and to increase dependency. Nevertheless, it is not easy to prepare components, so domains to apply synthesis are limited. we must prepare components for each software domain to apply synthesis, and it's difficult to prepare dependable components. In this paper, we propose 'Model Satisfiable Software Synthesis (MSSS)' to resolve these problems. MSSS synthesises software by reusing 'Model Satisfiable Fine-grained Component (MSFC)' mathematically. We can ensure static dependability of MSFC by B Method. And mathematical reuse prevents bugs caused by misunderstanding of function name. However, MSSS needs intricate rewriting and combination to interlock MSFCs, because we can't reuse them by name of function. So we define mathematical dependency of MSSS as 'model satisfiable' to define procedure of it. MSSS slices requirement uniquely to search components by sliced requirement. So we can make lacked components easily by using search-keys as specification of them. And also we can generate MSFCs from existing software. MSSS will enable us to apply synthesis to more software domains, and to develop dependable software quickly in lower cost.
Scientific journal, Japanese

Denepndable Software Component Generation with B Method
Takehiro Nakamura; Takeshi Oda; Tetsuro Nishino
情報処理学会論文誌, 情報処理学会, 52, 11, 2989-3007, Nov. 2011, Peer-reviwed, ソフトウェア部品への形式仕様の付加は部品の再利用性向上に有効である．しかし，再利用によりソフトウェアを開発するためには大量の部品を用意する必要があり，それらに形式仕様を与えることは大きなコストを生じる．これに対して既存ソフトウェアから部品を生成する手法があるが，仕様と部品の整合性保証が不十分である．そこで，本稿では仕様との整合性を保証できる高信頼ソフトウェア部品を提案する．また，この高信頼ソフトウェア部品をB Methodで構築されたソフトウェアから自動生成する手法を提案する．提案する高信頼ソフトウェア部品は実装依存モデルと細分化実装で構成され，仕様として細分化モデルを持つ．細分化モデル，実装依存モデル，細分化実装はそれぞれB Methodのモデルと実装に対応した記述であり，B Methodの信頼性の定義に基づいて信頼性が定義される．この部品の信頼性の定義に基づいて部品自動生成手法を構築することで自動生成された細分化モデルが無矛盾であるための条件を明らかにし，また，実装依存モデルと細分化実装が常に整合性を満たすことを保証する．この自動生成により高信頼部品リポジトリを容易に構築することが可能になる．さらに，高信頼部品リポジトリを応用することでB Methodで記述された要求仕様に対してそれを満たす実装を出力する高信頼自動コード生成が期待できる．Formal specifications help us to reuse software components. But it cost to write formal specifications for all of software components. Automated component generation by slicing existent software is proposed to reduce this cost. But it's not enough in component reliability. In this paper we propose dependable software components (DSC), which can be ensured to satisfy specifications, and propose automated dependable software component generation (DSCG). A DSC is constructed with an implementation dependent model (IDM) and a sliced implementation, and a DSC has sliced model as its specification. These are similar to model and implementation in the B Method, and we can generate proof obligation from them. So we can ensure the consistency of a DSC and its specification applying the B Method. In this paper, we ensure the dependability in two angle by constructing that based on definitions of the DSC's consistency. First, we prove that sliced models generated by the DSCG has no contradiction conditionally. Second, we express the sliced model generated by the DSCG is sure to satisfy the IDM. We'll able to synthesis dependable software by composite DSCs to satisfy requirement models in the B Method.
Scientific journal, Japanese

Car-Steering Model Based on an Adaptive Neuro-Fuzzy Controller
Mohamed Anis Ben Amor; Takeshi Oda; Shigeyoshi Watanabe
IEEJ Transactions on Electronics, 124, C, 2344-2352, 2004, Peer-reviwed
Scientific journal, English

Web-based educational system: Monitoring and assisting learners
S Watanabe; T Nakabayashi; H Satoh; TF Jiang; T Oda
ADVANCED RESEARCH IN COMPUTERS AND COMMUNICATIONS IN EDUCATION, VOL 1, I O S PRESS, 55, 693-700, 1999, Peer-reviwed, The most important problem in designing web-based educational systems is to guide a learner to the pedagogical goal individually and appropriately. A learner does not always become aware of impasse in the learning process. Also, teaching staffs are hard to identify and to support the learner without learning information or a student model. In this paper, we present a web-based educational system which has the functions of monitoring learning process and assisting learners to overcome dificulties in their learning. The system has the fuzzy inference engine which evaluates web learner's behaviors and estimates whether the learner is in impasse or not. The estimated result is used for supporting teacher's pedagogical decision to choose more appropriate learning environment than continuing the web-based individual learning. Some experimental results are shown and the efficiency is proved by questionnaires.
International conference proceedings, English

Searching Deadlocked Web Learners by Measuring the Similarity of Learning Activities
Takeshi Oda; Hiroyuki Satoh; Shigeyoshi Watanabe
Workshop in the Fourth International Conference on Intellifent Tutoring Systems, Aug. 1998, Peer-reviwed
International conference proceedings, English

Collaboration supporting system in learning environment through computer network
T Oda; S Watanabe
ARTIFICIAL INTELLIGENCE IN EDUCATION, I O S PRESS, 39, 647-649, 1997, The integrated multiple learning environment named HyperClassroom serves students with individual and collaborative learning. It has the functions of evaluating student's behaviors and supporting teacher's pedagogical decisions. Though collaborative learning has the advantage of a good education, some student may be interrupted the current activity of learning. The function supports the teacher to find the candidates of collaboration. The prototype of HyperClassroom is designed and the question and answer environment which helps students and staffs for thier communication is Installed in it. The some experimental results of categorizing students by their learning behavior records and the dialogues during session learning in the computer classroom are obtained.
International conference proceedings, English

出力指向の段階的詳細化による設計法
織田健; 片山卓也
情報処理学会論文誌, Information Processing Society of Japan (IPSJ), 34, 11, 2251-2264, Nov. 1993, Peer-reviwed, In software development, if we regard a program as a function, then specifications of this program can be seen as definitions of the relationships between the input and the output data of the program. If the input and output data structures of the program and the relationships between them are stepwise refined and defined, then it is possible to start sortware design even if the details of the requirement and of the data structures have not yet been fully determined. Furthermore, output-oriented analysis and design on stepwise refinement can reduce the need for the intermediate files that are produced during clash handling. In this paper, we will offer a specification methodology, SDR, which approach is based on the stepwise data structure refinement strategy.
Scientific journal, Japanese

UNIXコンピュータリテラシー
渡辺成良; 若月光夫; 織田健
Japanese, Joint work, 共立出版、(1997.1初版、2001.4第2版(改訂)), Apr. 2001

形式的ソフトウェア合成手法における部品検証を兼ねた不足部品の自動生成
佐々木孝紘; 織田健
Oral presentation, Japanese, 情報処理学会第87回全国大会
14 Mar. 2025
13 Mar. 2025- 15 Mar. 2025

B Method におけるモジュール構造に対応したソフトウェア合成システムの構築
田中涼介; 織田健
Oral presentation, Japanese, 情報処理学会第87回全国大会
14 Mar. 2025
13 Mar. 2025- 15 Mar. 2025

Readability Metrics for Sliced Models Focused on Text Structure
Sho Yuki; Takeshi Oda
Oral presentation, Japanese, 第 23 回情報科学技術フォーラム
04 Sep. 2024
04 Sep. 2024- 06 Sep. 2024

A Proposal of Formal Software Synthesis System Considering Complex Models
Ryosuke Tanaka; Takeshi Oda
Oral presentation, Japanese, 第 23 回情報科学技術フォーラム
04 Sep. 2024
04 Sep. 2024- 06 Sep. 2024

形式的ソフトウェア合成手法における細分化モデルの可読性向上手法の改善
結城 翔; 織田 健
Oral presentation, Japanese, 情報処理学会第86回全国大会
15 Mar. 2024
15 Mar. 2024- 17 Mar. 2024

小規模なモデルを対象とした形式的ソフトウェア合成システムの構築
田中涼介; 檜垣 廉; 織田 健
Oral presentation, Japanese, 情報処理学会第86回全国大会
15 Mar. 2024
15 Mar. 2024- 17 Mar. 2024

条件分岐と同時代入間の相互依存に配慮した形式仕様細分化アルゴリズム
檜垣 廉; 織田 健
Oral presentation, Japanese, 第22回情報科学技術フォーラム
07 Sep. 2023
06 Sep. 2023- 08 Sep. 2023

B Method の仕様記述言語における段階的詳細化を伴う仕様の細分化手法
松田 蓮; 織田 健
Oral presentation, Japanese, 第22回情報科学技術フォーラム
07 Sep. 2023
06 Sep. 2023- 08 Sep. 2023

形式的ソフトウェア合成手法における計算コストを考慮した細分化モデル可読性向上手法
結城 翔; 織田 健
Oral presentation, Japanese, 第22回情報科学技術フォーラム
07 Sep. 2023
06 Sep. 2023- 08 Sep. 2023

形式的ソフトウェア合成手法における細分化モデルの可読性向上手法
結城 翔; 織田 健
Oral presentation, Japanese, 情報処理学会第 85 回全国大会
03 Mar. 2023
02 Mar. 2023- 04 Mar. 2023

形式的ソフトウェア合成手法の複雑な例題による検証
松田 蓮; 織田 健
Oral presentation, Japanese, 情報処理学会第 85 回全国大会
03 Mar. 2023
02 Mar. 2023- 04 Mar. 2023

演算の可換性と結合性、型に配慮した形式仕様の式表現の統一のための項書換えアルゴリズム
檜垣 廉; 織田 健
Oral presentation, Japanese, 情報処理学会第 85 回全国大会
03 Mar. 2023
02 Mar. 2023- 04 Mar. 2023

モジュール構造と段階的詳細化に対処した形式的ソフトウェア合成手法
松田 蓮; 織田 健
Oral presentation, Japanese, 第21回情報科学技術フォーラム, Domestic conference
14 Sep. 2022

抽象データ型に対応した不足部品の自動生成手法
大久保稜; 織田 健
Oral presentation, Japanese, 第21回情報科学技術フォーラム, Domestic conference
14 Sep. 2022

項書き換え系を用いた文字列による検索のための形式仕様の正規化と暗黙の条件の抽出
檜垣 廉; 織田 健
Oral presentation, Japanese, 第21回情報科学技術フォーラム, Domestic conference
14 Sep. 2022

抽象データ型を考慮した不足部品の自動生成手法
大久保稜; 織田 健
Oral presentation, Japanese, 第84回情報処理学会全国大会, Domestic conference
04 Mar. 2022

モジュール構造と段階的詳細化を考慮した形式的ソフトウェア合成手法
松田 蓮; 織田 健
Oral presentation, Japanese, 第84回情報処理学会全国大会, Domestic conference
04 Mar. 2022

文字列一致による等価性判定のための形式仕様の正規化
檜垣 廉; 織田 健
Oral presentation, Japanese, 第84回情報処理学会全国大会, Domestic conference
04 Mar. 2022

取得部品からの詳細化情報抽出による不足部品の自動生成手法
大久保稜; 織田 健
Oral presentation, Japanese, 第20回情報科学技術フォーラム, Domestic conference
26 Aug. 2021

参照変数の定数化による形式的派生部品生成手法
原野和貴; 織田 健
Oral presentation, Japanese, 第20回情報科学技術フォーラム, Domestic conference
26 Aug. 2021

定数値制約領域の拡大による形式的部品の再利用性向上手法
原野和貴; 織田 健
Oral presentation, Japanese, 第83回情報処理学会全国大会, Domestic conference
18 Mar. 2021

取得部品からの詳細化情報収集による不足部品の自動生成手法
大久保稜; 織田 健
Oral presentation, Japanese, 第83回情報処理学会全国大会, Domestic conference
18 Mar. 2021

定数宣言の抽象化による値不一致な形式的部品の再利用手法
原野和貴; 織田 健
Oral presentation, Japanese, 第19回情報科学技術フォーラム, Domestic conference
02 Sep. 2020

宣言定数の抽象化による形式的部品の再利用性向上
原野和貴; 織田 健
Oral presentation, Japanese, 第82回情報処理学会全国大会, Domestic conference
07 Mar. 2020

リファインメントを考慮した形式的ソフトウェア合成アルゴリズム
叶野英俊; 織田健
Oral presentation, Japanese, 第18回情報科学技術フォーラム, 電子情報通信学会、情報処理学会, 岡山大学, Domestic conference
03 Sep. 2019

モジュール構造を考慮した形式的細分化実装の生成手法
岡安悠; 織田健
Oral presentation, Japanese, 第18回情報科学技術フォーラム, 電子情報通信学会、情報処理学会, 岡山大学, Domestic conference
03 Sep. 2019

リファインメントを考慮した部品再利用による形式的ソフトウェア合成
叶野英俊; 織田 健
Oral presentation, Japanese, 第81回情報処理学会全国大会, Domestic conference
13 Mar. 2019

モジュール構造を考慮した形式的細分化実装
岡安 悠; 織田 健
Oral presentation, Japanese, 第81回情報処理学会全国大会, Domestic conference
13 Mar. 2019

モジュール構造を考慮した形式的細粒度部品の提案
横山 仁; 織田健
Oral presentation, Japanese, 第17回情報科学技術フォーラム, 電子情報通信学会、情報処理学会, 福岡工業大学, Domestic conference
19 Sep. 2018

形式手法 B Method の細粒度部品の結合による高信頼ソフトウェアの合成
高橋宏夢; 織田健
Oral presentation, Japanese, 第17回情報科学技術フォーラム, 電子情報通信学会、情報処理学会, 福岡工業大学, Domestic conference
19 Sep. 2018

形式手法 B Method における高信頼細粒度部品の粒度の提案
高橋宏夢; 織田 健
Oral presentation, Japanese, 第80回情報処理学会全国大会, Domestic conference
14 Mar. 2018

形式的ソフトウェア部品生成のための実装抽出手法
叶野英俊; 織田 健
Oral presentation, Japanese, 第80回情報処理学会全国大会, Domestic conference
14 Mar. 2018

モジュール構造を考慮した形式的細粒度部品の提案
横山 仁; 織田 健
Oral presentation, Japanese, 第80回情報処理学会全国大会, Domestic conference
14 Mar. 2018

形式的仕様記述における制約条件の欠落推定
岡野純平; 織田健
Oral presentation, Japanese, 第16回情報科学技術フォーラム, 電子情報通信学会、情報処理学会, 富山大学, Domestic conference
14 Sep. 2017

モジュール構造に対応したソフトウェア合成手法
横山 仁; 織田 健
Oral presentation, Japanese, 第79回情報処理学会全国大会, Domestic conference
17 Mar. 2017

形式仕様に基づくソフトウェア部品の結合手法
高橋宏夢; 織田 健
Oral presentation, Japanese, 第79回情報処理学会全国大会, Domestic conference
17 Mar. 2017

状態遷移図と抽象的仕様記述のマッチングによる仕様の誤り検出
岡野純平; 織田 健
Oral presentation, Japanese, 第79回情報処理学会全国大会, Domestic conference
17 Mar. 2017

B-Method におけるリファインメントの集約化手法
福泉真隆; 織田健
Oral presentation, Japanese, 第15回情報科学技術フォーラム, 電子情報通信学会、情報処理学会, 富山大学, Domestic conference
07 Sep. 2016

B-Method における段階的詳細化を考慮した形式的ソフトウェアのモデル細分化
福泉真隆; 織田健
Oral presentation, Japanese, 第78回情報処理学会全国大会講演論文集, 情報処理学会
10 Mar. 2016

形式的ソフトウェア合成手法 MSSS の妥当性評価実験
岡野純平; 織田健
Oral presentation, Japanese, 第78回情報処理学会全国大会講演論文集, 情報処理学会
10 Mar. 2016

形式的ソフトウェア合成手法における部品の充足を考慮した合成手順
熊谷恒; 織田健
Oral presentation, Japanese, 第77回情報処理学会全国大会講演論文集,第77回情報処理学会全国大会
Mar. 2015

形式的ソフトウェア合成手法におけるモデル細分化システムの設計と構築
福泉真隆; 織田健
Oral presentation, Japanese, 第77回情報処理学会全国大会講演論文集,第77回情報処理学会全国大会
Mar. 2015

形式的ソフトウェア合成手法における不足部品の要求提示
熊谷恒; 織田健
Oral presentation, Japanese, 第13回情報科学技術フォーラム論文集,第12回情報科学技術フォーラム
Sep. 2014

文字列一致による数学的等価性判定可能なモデル分割アルゴリズム
三鍋孝介; 織田健
Oral presentation, Japanese, 第12回情報科学技術フォーラム論文集,第12回情報科学技術フォーラム
Sep. 2013

文字列一致による数学的等価性判定可能なモデル分割手法
三鍋孝介; 織田健
Oral presentation, Japanese, 第75回情報処理学会全国大会講演論文集,第75回情報処理学会全国大会
Mar. 2013

形式的ソフトウェア合成手法における再利用部品群の決定
熊谷恒; 織田健
Oral presentation, Japanese, 第75回情報処理学会全国大会講演論文集,第75回情報処理学会全国大会
Mar. 2013

Model Satisfiable Software Synthesis Method for Formal Development
Takehiro Nakamura; Takeshi Oda; Tetsuro Nishino
Oral presentation, English, International Workshop on Modern Science and Technology, International conference
Aug. 2012

モデルと実装間の整合性に考慮した形式的ソフトウェア分割手法
三鍋孝介; 織田健
Oral presentation, Japanese, 第74回情報処理学会全国大会講演論文集,第74回情報処理学会全国大会
Mar. 2012

形式仕様を用いた部品検索における計算量低減
中村丈洋; 織田 健
Oral presentation, Japanese, 情報処理学会研究報告
Jul. 2011

B Methodにおける自動コード合成フレームワークの提案
中村丈洋; 織田健
Oral presentation, Japanese, 情報処理学会研究報告,ソフトウェア工学研究会
Nov. 2010

B Method における部品再利用による自動コード生成のための仕様細分化
中村丈洋; 織田健
Public symposium, Japanese, 第6回ディペンダブルシステムシンポジウム, ソフトウェア科学会, 大阪
Dec. 2009

Reuse and Auto Code Generation in B Method
Takehiro Nakamura; Takeshi Oda
Oral presentation, Japanese, Inromation Processing Society of Japan
Mar. 2009

機能に着目したソフトウェア部品の抽象化による特徴抽出
茅野良洋; 織田 健
Oral presentation, Japanese, 第7回情報科学技術フォーラム論文集,第7回情報科学技術フォーラム
Sep. 2008

概念表現を用いたソフトウェア部品の記述と検索
中村丈洋; 織田健
Oral presentation, Japanese, 第70回情報処理学会全国大会講演論文集
Mar. 2008

形式的なソフトウェア部品検索のための仕様からの特徴抽出
足立智隆; 織田健
Oral presentation, Japanese, 第70回情報処理学会全国大会講演論文集
Mar. 2008

エンティティの振舞いに着目した Z による仕様記述と状態遷移規則の比較に基づく誤り検出法
楊洋, 織田健
Oral presentation, Japanese, 第6回情報科学技術フォーラム論文集
Sep. 2007

A Software Measurement Validation Method with a Formal Approach
Kunitaka Futatsugi; Takeshi Oda
Oral presentation, Japanese, Inromation Processing Society of Japan
Nov. 2005

Zによる仕様記述と状態遷移規則の比較による誤り検出法
平岡雅也; 織田 健
Oral presentation, Japanese, 第3回情報科学技術フォーラム
Sep. 2004

多様な品質要求に応じたソフトウェア部品提供のためのリポジトリシステム
二木邦尚; 織田 健
Oral presentation, Japanese, 第3回情報科学技術フォーラム
Sep. 2004

Web学習者支援のための学習者モデル構築について
渡辺成良; 織田健
Oral presentation, Japanese, 人工知能学会知的教育システム研究会（第37回）論文集,人工知能学会知的教育システム研究会
Oct. 2003

形式的記述に基づくモジュールシグニチャを用いたソフトウェア部品検索
新井宏文; 織田 健
Oral presentation, Japanese, 第2回情報科学技術フォーラム
Sep. 2003

「状態遷移規則を知識とした形式的仕様における制約条件の欠落検出法」
斎藤修一; 織田 健
Oral presentation, Japanese, ソフトウェア科学会第18回大会論文集 CD-ROM
Sep. 2001

階層的モジュール管理に基づくソフトウェアリポジトリにおける変更伝搬制御
二木邦尚; 織田 健
Oral presentation, Japanese, 情報処理学会第61回全国大会講演論文集 CD-ROM
Oct. 2000

システム構成要素の状態遷移規則に着目した仕様の妥当性検証法
小池孝政; 織田 健
Oral presentation, Japanese, ソフトウェア科学会第17回大会論文集 CD-ROM
Sep. 2000

非同期計算モデルによる並列プログラムの誤り検出
中村貴幸; 織田 健
Oral presentation, Japanese, 近代科学社，ソフトウェア工学の基礎Ⅵ， ソフトウェア科学会FOSE'99
Nov. 1999

複数の制約条件の付則を対象とした仕様の誤りの検出
山本賢太郎; 織田 健
Oral presentation, Japanese, ソフトウェア科学会第16回大会論文集
Sep. 1999

Web-Based Learningのための支援
渡辺成良; 佐藤宏之; 織田 健
Oral presentation, Japanese, 人工知能学会研究会
Dec. 1998

WWW教材の遠隔地学習者に対する支援システム
渡辺成良; 織田 健; 竹内 章
Oral presentation, Japanese, 平成10年度情報処理教育研究集会講演論文集
Oct. 1998

WWW 教材の遠隔地学習者に対する支援システム
渡辺成良; 織田健; 竹内章
Oral presentation, Japanese, 平成10年度情報処理教育研究集会論文集,平成10年度情報処理教育研究集会
Oct. 1998

ビュー指示機構を用いた広域型ソフトウェアリポジトリ
雲切啓太; 織田 健
Oral presentation, Japanese, 日本ソフトウェア科学会第15回大会論文集
Sep. 1998

拡張プロセス代数による非同期型並列プログラムの誤り検出
中村貴幸; 織田 健
Oral presentation, Japanese, 日本ソフトウェア科学会第15回大会論文集
Sep. 1998

制約条件の不足による仕様の誤りの逐次的検出
山本賢太郎; 織田 健
Oral presentation, Japanese, 日本ソフトウェア科学会第15回大会論文集
Sep. 1998

HyperClassroom 構想
織田健
Oral presentation, Japanese, 教育工学関連学協会連合第5回全国大会論文集,教育工学関連学協会連合第5回全国大会
1997

ハイパーティーチャー： 授業・演習における教師支援システム
Widjaja Sangtoki; 牛山孝雄; 織田健; 渡辺成良
Oral presentation, Japanese, 人工知能学会研究会資料
Dec. 1996

ITS におけるコミュニケーションの階層化
織田健; 渡辺成良
Oral presentation, Japanese, 人工知能学会研究会資料
May 1996

インターネット環境におけるコンピュータリテラシの教育
織田健; 渡辺成良
Oral presentation, Japanese, 電子情報通信学会技術研究報告
Jun. 1995

WWW学習環境における協調学習のためのグループ化手法
Widjaja Sangtoki; 織田健; 渡辺成良
Oral presentation, Japanese, 人工知能学会研究会資料
1995

Fundamental Programming
The University of Electro-Communications

Programming Language Experiment
The University of Electro-Communications

プログラミング言語実験
The University of Electro-Communications

Exercise in Informatics II
The University of Electro-Communications

情報領域演習第二
電気通信大学

基礎プログラミングおよび演習
The University of Electro-Communications

プログラミング言語実験
The University of Electro-Communications

プログラミング言語実験
電気通信大学

基礎プログラミングおよび演習
The University of Electro-Communications

基礎プログラミングおよび演習
電気通信大学

Information Processing Society of Japan

Japan Society for Software Science and Technology

e-Learning Implementation on IT-Supported Self-Study of Mathematics for Foreign Students
SUZUKI Masahisa; WATANABE Shigeyoshi; TAKEDA Yuko; ODA Takeshi
Japan Society for the Promotion of Science, Grants-in-Aid for Scientific Research, The University of Electro-Communications, Grant-in-Aid for Scientific Research (C), The Japanese Government started supporting foreign students with general language education and fundamental language education for their major through university international centers and foreign student facilities in Japan. As Japan has had more number of foreign students, there raised difficulties to provide university education to foreign students with the same contents as they would provide to Japanese students. It was believed that this would be caused due to differences of education background between Japan and countries that they come from. Therefore, the research survey was carried out on textbooks of mathematics and sciences in Japan, P. R. China, Korea, Taiwan, Indonesia, Bulgaria, Mexico, Australia and the United States, in order to find the details of education differences between those countries. However, the survey results show that there is no significant difference found in textbooks, while the education differences have been found from optional curricula and elective styles in these country education systems. The survey results also indicated that there are difficulties for foreign students to study practical usages of mathematical and scientific expressions, although they have general language proficiency of Japanese language. There are certain demands indicated by foreign students, the research project focuses attention on online supports of vocabulary usage studies in the areas of high school mathematics and sciences. This survey project has 2, 000 thousand vocabularies and their samples of useful expressions for university foreign students. The project covers online supports for foreign students to learn mathematical and scientific expressions in English, Japanese, Chinese and Korean language. The original project was mostly successful, except there remains a minor assignment to improve internet security and management policies in the future., 14580211
2002 - 2004