日本語
College of Information Science and Engineering  /
Department of Information Science and Engineering

 (Male)
 TETSUO   KAMINA  Lecturer

■Graduate school/University/other
03/1999  International Christian University  College of Liberal Arts  Division of Natural Sciences  Graduated
03/2002  The University of Tokyo  Graduate School of Arts and Sciences  Department of General Systems Studies  Master's course  Completed
03/2005  The University of Tokyo  Graduate School of Arts and Sciences  Department of General Systems Studies  Doctoral course second term (Doctoral)  Completed
■Academic degrees
Ph.D. (03/2005 The University of Tokyo)  
■Career history
04/01/2005-03/31/2006  Tsukuba Advanced Research Alliance, University of Tsukuba, researcher
04/01/2006-03/31/2007  Graduate School of Humanities and Sociology, the University of Tokyo, research associate
04/01/2007-03/31/2010  Graduate School of Humanities and Sociology, the University of Tokyo, assistant professor
04/01/2010-03/31/2014  Graduate School of Education, the University of Tokyo, assistant professor
■Committee history
2017-  COP 2017  プログラム委員
2017-  LASSY 2017  プログラム委員
2016-  COP 2016  プログラム委員
2016-  LASSY 2016  プログラム委員
2015-  日本ソフトウェア科学会第32回大会  プログラム委員
2015-  COP 2015  PC member
2015-  LASSY'15  PC member
2015-  EITES 2015  PC member
2014-  31st JSSST Annual Symposium  demo and poster chair, a program committee member
2014-  COP’14  PC member
2013-  MODULARITY:aosd.13  Organizing member
2012-  COP’12  PC member
2012-  29th JSSST annual symposium  PC member
2010-  COP’10  PC member
2009-  SAC’09 OOPS track  PC member
04/2009-03/2013  IPSJ SIGSE  OC membe
07/2008-07/2010  Telecommunication Technology Committee  NGN architecture committee member
04/2006-03/2010  IPSJ  Editorial committee member
■Academic society memberships
IPSJ  
JSSST  
ACM  
■Subject of research
Design and implementation of programming languages
Application of programming in recent paradigm
■Research summary
Support for modularity related abstractions in programming language design, implementation and applications

 Modularity is an important property in enhancing maintainability, productivity and safety of software. Modularity of software largely depends on what kind of modularization mechanism the programming language provides. Therefore, in order to provide a better modularization mechanism, I design programming language, implement processing system, and study type system and other things. Lately, I study context-oriented programming that is a technique to modularize behaviors dependent on the context at running program and to dynamically and safely compound them. And I study not only the programming language area, such as delivering a new language mechanism, and type system, but also how to implement them, expansively.
■Research keywords
Programming languages, Modularity, Type systems, Programming paradigm, Software development methodology 
■Research activities   (Even top three results are displayed. In View details, all results for public presentation are displayed.)

Papers
Generalized Layer Activation Mechanism for Context-Oriented Programming  Tetsuo Kamina, Tomoyuki Aotani, and Hidehiko Masuhara  LNCS Transactions on Modularity and Composition  123-166  11/2016
Context-Oriented Software Development with Generalized Layer Activation Mechanism  Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara, and Tetsuo Tamai  LNCS Transactions on Modularity and Composition  3-40  11/2016
Detecting Invalid Layer Combinations Using Control-Flow Analysis for Android  Noriyuki Suzuki, Tetsuo Kamina, and Katsuhisa Maruyama  8th International Workshop on Context-Oriented Programming (COP'16)  27-32  07/2016  10.1145/2951965.2951970
View details...

Research presentations
Introducing Lightweight Reactive Values to Java  SPLASH'16 Companion: Conference on Systems, Programming, Languages, and Applications: Software for Humanity Proceedings  11/02/2016
Javaにおける関数型インタフェースの拡張  情報処理学会第193回ソフトウェア工学研究発表会  07/2016
Javaにおける関数型インタフェースの拡張  第22回ソフトウェア工学の基礎ワークショップ(FOSE2015)  11/2015
View details...

Grants-in-Aid for Scientific Research (KAKENHI)
Link to Grants-in-Aid for Scientific Research -KAKENHI-

Competitive grants, etc. (exc. KAKENHI)
ユビキタスID技術の相互運用性に関する研究開発  戦略的情報通信研究開発推進制度(SCOPE)  04/2009  03/2011  Joint researcher
View details...

Academic awards
日本ソフトウェア科学会  第19回研究論文賞  09/2015
View details...
■Teaching experience   (Even top three results are displayed. In View details, all results for public presentation are displayed.)

Courses taught
2016  プログラミング技法(QA)  Lecture
2016  情報システム学実験3(A2)  Laboratory work / Practical experience / Skills practice
2016  プログラミング演習2(RB)  Seminar
View details...
■Message from researcher
先進的なプログラミング言語の研究
 ソフトウェア開発は物理的制約を受けにくいため、その工程において人間の思考の果たす役割は非常に大きい。プログラミング言語をはじめとするソフトウェア開発に使われる様々な言語は、その人間の思考に直接影響を与える。それは言語が単に人間の思考を表現するだけでなく、言語が人間の思考方法そのものに制限を加えるという側面があるからである。よって言語の改善はソフトウェア開発におけるものの考え方、工程や管理の在り方の改善、生産されるソフトウェアの品質の改善に直接的あるいは間接的につながる。とくに言語が持つ抽象化機構、とりわけモジュラリティに関する機構は非常に重要である。現在は計算機を取り巻く環境も大きく変化しており、固定されない環境で、時間や場所とともに変化する多種多様な状況においてそれに応じた適切な処理をするという厳しい要求がある。このような時代に合ったプログラミング言語機構を世に送り出し、基礎から応用に至る様々な研究を通じて先進的なソフトウェア技術の深化発展について貢献する所存である。
■URL
 Personal Web site
■Research keywords(on a multiple-choice system)
Software