| 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 | 2024-01-20 15:05 |
Kyoto | Kyoto University Yoshida Campus / Online (Primary: On-site, Secondary: Online) |
Learning Environment for Functional Programming with Focus on Application to Study Java Programming Kosuke Hotta, Yoshiki Sato (Tokyo Gakugei Univ.), Shoichi Nakamura (Fukushima Univ.), Youzou Miyadera (Tokyo Gakugei Univ.)  ET2023-49 |
Functional programming is a programming paradigm with characteristics that are significantly different from procedural p... [more] | ET2023-49 pp.24-31 |
| TL | 2023-03-11 10:30 |
Online | Online | Cognitive deficits and functional brain bases of Japanese dyslexia
-- phonological and visual impairments -- Akiko Sugimoto, Mitsuyo Shibasaki (Meisei Univ.), Koji Yoshida (Hijiyama Univ.), Hikaru Sugimoto (Univ. of Tokyo) TL2022-35 |
This study examined the cognitive disorders and the functional brain bases behind them in Japanese dyslexia through expe... [more] | TL2022-35 pp.6-11 |
| MSS, SS | 2023-01-11 13:30 |
Osaka | (Primary: On-site, Secondary: Online) |
A formal description of a functional language with exception handling, and constrained dependency pairs for the termination proofs Takeshi Hamaguchi, Masahiko Sakai (Nagoya Univ.) MSS2022-56 SS2022-41 |
This paper proposes a termination-proof method for functional programs with exception handling. First, we give a small s... [more] | MSS2022-56 SS2022-41 pp.66-71 |
| IT | 2022-07-21 14:55 |
Okayama | Okayama University of Science (Primary: On-site, Secondary: Online) |
A Data Compression Method Where The Codeword Is a Computer Program Generating The Data Mitsuharu Arimura (Shonan Inst. Tech.) IT2022-19 |
The Kolmogorov complexity of a string is defined as the shortest length of the program on a Turing machine used to repre... [more] | IT2022-19 pp.18-23 |
| CQ (2nd) |
2021-01-21 13:30 |
Online | Online | [Invited Lecture]
Individual representation of creativity using large-scale brain dataset Takeshi Ogawa (ATR) |
Thanks to development of machine learning methods based on large-scale data, it has made huge impacts on not only image ... [more] | |
| SS | 2019-03-05 15:25 |
Okinawa | Automatic Repair of Conditional Expressions for Functional Programs by Using Counterexamples Ken Matsui, Ryosuke Sato, Naoyasu Ubayashi, Yasutaka Kamei (Kyushu Univ.) SS2018-80 |
In software development, manual bug fixing consumes much time and effort. Therefore, automated program repair methods ha... [more] | SS2018-80 pp.169-174 |
|
| TL | 2018-10-28 13:30 |
Hokkaido | National Institute of Technology, Hakodate College | Views of Thing Impacting on Linguistic Expressions Hiroshi Sano (TUFS) TL2018-41 |
The way of viewing things from the external world affects expressions of movement. Movement is the passage of time. In o... [more] | TL2018-41 pp.13-18 |
| DC, SS | 2018-10-04 15:50 |
Aichi | Inuyama City Kokusai-Kanko Center Freud | Yui Ihara, Nagisa Kojima, Kazuyuki Shima (Hiroshima City Univ.) SS2018-21 DC2018-22 |
(To be available after the conference date) [more] | SS2018-21 DC2018-22 pp.19-24 |
| KBSE, SS, IPSJ-SE [detail] | 2018-07-19 16:55 |
Hokkaido | Concurrent Execution Semantics of the Functional Programming Language in Continuation Passing Style Based on the Actor Model Nagisa Kojima, Kazuyuki Shima, Akio Nakata (Hiroshima City Univ.) SS2018-14 KBSE2018-24 |
In our study so far, we have proposed the notation which expresses lambda calculus in Continuation-Passing Style (CPS) s... [more] | SS2018-14 KBSE2018-24 pp.161-166 |
|
| TL | 2018-06-17 14:00 |
Hyogo | Kobe Gakuin University （Port Island Campus） | View of the things impacting on the interpretation of time Hiroshi Sano (TUFS) TL2018-3 |
It is true that we human know the concepts of time and space, but we cannot perceive nor recognize the existence of time... [more] | TL2018-3 pp.13-18 |
| MBE, NC, NLP (Joint) |
2018-01-26 13:50 |
Fukuoka | Kyushu Institute of Technology | Brain functional connectivity network flexibility predicts individual variability in learning ability Akiyoshi Akiyama (KyuTech), Eiko Soejima (Jyoto High School), Toshimasa Yamazaki (KyuTech), Takahiko Yamamoto (Jyoto High School) NC2017-52 |
This study addresses itself to clarify the relationship between structural changes of brain functional connectivity netw... [more] | NC2017-52 pp.11-16 |
| SS, DC | 2017-10-19 14:45 |
Kochi | Kochi City Culture-plaza CUL-PORT | Towards a behavioral model of Yampa programs in a discrete runtime environment Tomoki Ichihashi, Shouji Yuuen (Nagoya Univ.) SS2017-24 DC2017-23 |
We propse an operational model for discrete executions of Yampa programs whose behavior are defined in the dense time. Y... [more] | SS2017-24 DC2017-23 pp.19-24 |
| RECONF | 2017-09-26 13:55 |
Tokyo | DWANGO Co., Ltd. | A case study of High-level Synthesis Using Higher-order Function on Functional Language Takuya Teraoka, Morihiro Kuga, Motoki Amagasaki, Masahiro Iida, Toshinori Sueyoshi (Kumamoto Univ.) RECONF2017-35 |
The growing capabilities of silicon technology and the increasing complexity of applications in recent decades have forc... [more] | RECONF2017-35 pp.75-80 |
| KBSE, SS, IPSJ-SE [detail] | 2016-07-14 13:10 |
Hokkaido | A Behavioral Model for Executing Yampa Programs Tomoki Ichihashi, Yuuen Shouji (Nagoya Univ.) SS2016-11 KBSE2016-17 |
In this paper, we propose differences-embedded automata as a behavioral model of Yampa programs which is a domain-specif... [more] | SS2016-11 KBSE2016-17 pp.99-104 |
|
| SWIM | 2016-02-26 13:05 |
Tokyo | Kikai-Shinko-Kaikan Bldg. | Learning Support Environment for Functional Programming using Swift Language Yuiitsu Aoki, Hiroki Suguri (Miyagi Univ.) SWIM2015-21 |
We have designed, developed and evaluated a learning support system for functional programming using web browser as user... [more] | SWIM2015-21 pp.17-22 |
| HCGSYMPO (2nd) |
2015-12-16 - 2015-12-18 |
Toyama | Toyama International Conference Center | Visualization of short-term and long-term memories by Brain Functional Connectivity Network Akiyoshi Akiyama, Toshimasa Yamazaki (KIT), Takahiko Yamamoto, Eiko Soejima (FJH) |
Brain Functional Connectivity Network (BFCN) is a visualization of connectivities between brain regions related to human... [more] | |
| MBE, NC (Joint) |
2015-07-18 13:25 |
Tokushima | The University of Tokushima | Hierarchical structure in inferring others' actions and language: An fMRI study Toshiki Iwabuchi (NRCPD), Toshio Inui (Otemon Gakuin Univ.) NC2015-16 |
The ability of hierarchical reasoning is important for understanding others’ actions in complex social relations, but it... [more] | NC2015-16 pp.25-30 |
| NLC, TL [detail] | 2015-06-04 16:45 |
Tokushima | The University of Tokushima | Interpretation and Generation of Haiku by Regular Expression Yoshihiko Nitta (N.U.) TL2015-6 NLC2015-6 |
Aesthetic Sentences often behave without grammatical constraints. Especially the poetic sentences are far beyond the sen... [more] | TL2015-6 NLC2015-6 pp.31-36 |
| SS | 2015-05-11 13:00 |
Kumamoto | Kumamoto University | Towards Applications of FRP in Small-Scale Embedded Systems Kensuke Sawada, Kouhei Suzuki, Takuo Watanabe (Tokyo Tech.) SS2015-1 |
In this paper, we show using examples that functional reactive programming (FRP) is beneficial for small-scale embedded ... [more] | SS2015-1 pp.1-5 |
| SS | 2015-03-09 14:15 |
Okinawa | OKINAWAKEN SEINENKAIKAN | A Verification Method of the Correctness of Non-functional Requirements using extended Requirements Frame Model Yuuma Matsumoto, Atsushi Ohnishi (Ritsumeikan Univ.) SS2014-63 |
In order to verify the correctness of functional requirements, we have been developing a verification method of the corr... [more] | SS2014-63 pp.49-54 |
[Return to Top Page]