| IEICE Technical Committee Submission System Conference Schedule |
Online Proceedings [Sign in] Tech. Rep. Archives |
All Technical Committee Conferences (Searched in: All Years)
| Committee | Date Time | Place | Paper Title / Authors | Abstract | Paper # | |
| ET | 2012-11-17 11:15 |
Saga | Content development for distance education for advanced university mathematics by Mizar Takaya Ido, Hiroyuki Okazaki, Hiroshi Yamazaki, Yasunari Shidama (Shinshu Univ)  ET2012-55 |
Mizar project describes the formalization and proof of the current theorem using mathematical for- malization descripti... [more] |
ET2012-55 pp.13-17 |
|
| ISEC, LOIS | 2011-11-14 15:35 |
Osaka | Osaka Electro-Communication University | Formalization and Verification of Arithmetic Algorithms by Mizar Yoshiki Aoki, Hiroyuki Okazaki, Yasunari Shidama (Shinshu Univ.) ISEC2011-44 LOIS2011-38 |
In this report, we formalize some number theoretical algorithms, Euclidean Algorithm and Extended Euclidean Algorithm ... [more] |
ISEC2011-44 LOIS2011-38 pp.69-74 |
| ET | 2011-11-04 11:05 |
Okinawa | Continuity of Approximate Reasoning Using Center of Sums Takashi Mitsuishi (UMDS), Yasunari Shidama (Shinshu Univ.) ET2011-57 |
This study focuses on Center of Sums method which is one of the defuzzification methods proposed before. Two kinds of c... [more] |
ET2011-57 pp.11-14 |
|
| ICM | 2010-03-12 14:50 |
Kagoshima | Approximate Reasoning Using Fuzzy Number as Premise Variable Takashi Mitsuishi (Univ. of Marketing and Distribute Sci.), Yasunari Shidama (Shinshu Univ.) ICM2009-67 |
The authors present a mathematical framework for studying a fuzzy logic control, which is constructed by IF-THEN type fu... [more] | ICM2009-67 pp.129-132 |
|
| MSS, CAS | 2009-11-27 15:15 |
Aichi | Nagoya University | The Design of distributed algorithm for information gathering by using Petri Net Shin'nosuke Yamaguchi (Kyushu Inst. of Tech.), Katsumi Wasaki, Yasunari Shidama (Shinshu Univ) CAS2009-59 CST2009-32 |
[more] | CAS2009-59 CST2009-32 pp.83-88 |
| ET | 2009-03-07 15:35 |
Kagawa | The Method of Mathmatical Exercises on the web by using Assignment Module of Moodle Tatsuo Miwa (Anet Corp.), Hideko Kobayashi, Ryota Kobayashi, Hiroyuki Okazaki (Shinshu Univ), Noboru Endo (Gifu National Coll. of Tech.), Katsumi Wasaki, Yasunari Shidama (Shinshu Univ) ET2008-129 |
We have developed the training module working on Moodle in order to foster not only the mathematically logical thinking... [more] |
ET2008-129 pp.211-215 |
|
| ET | 2008-10-17 11:20 |
Okayama | A Development of CMS/Moodle Assignment Module for Interactive Mathematical Exercises by using Mizar Proof Checking System in Formalized Mathematics. Tatsuo Miwa (anet), Katsumi Wasaki (Shinshu Univ), Noboru Endo (gifu-nct), Yasunari Shidama (Shinshu Univ) ET2008-41 |
e have developed the module which is working on Moodle known as Open Source CMS(Course Management System) or LMS(Learnin... [more] | ET2008-41 pp.11-16 |
|
| MSS | 2006-06-02 11:15 |
Ishikawa | Ishikawa Science Park | A Java/PNML Verification Framework for Concurrent System Design based on an Extended Petri Net Shin'nosuke Yamaguchi (KIT), Katsumi Wasaki, Yasunari Shidama (Shinshu Univ.) |
[more] | CST2006-9 pp.19-24 |
| CS, CAS, SIP | 2005-03-15 13:35 |
Okayama | Okayama Prefectural University | Development of long range Wireless LAN complied with IEEE802.11g for mountain areas Masayuki Nakamura (Information Technology Research Institute of Nagano Prefecture), Kiyoshi Einaga (Mitsubishi Cable Industries), Ryuichi Takizawa, Hiroshi Shimizu (Information Technology Research Institute of Nagano Prefecture), Katsumi Wasaki, Yasunari Shidama (Shinshu Univ.) |
The broadband network such as ADSL and FTTH has been available in urban areas and suburban areas. Meanwhile, these are s... [more] | CAS2004-107 SIP2004-150 CS2004-243 pp.59-62 |
| MSS | 2004-08-05 14:00 |
Hokkaido | Hokkai Gakuen University | A Design Tool for the Distributed Parallel Systems based on An Extended Petri Net and Java Executor Shin'nosuke Yamaguchi (KIT), Katsumi Wasaki, Yasunari Shidama (Shinshu Univ.) |
[more] | CST2004-16 pp.1-6 |
[Return to Top Page]