教員プロフィール> 情報学部> システム数理学科> 真鍋 義文
情報学部
システム数理学科

教授

真鍋 義文(マナベ ヨシフミ)
Manabe Yoshihumi
1960年生まれ
E-Mail: manabe@cc.kogakuin.ac.jp
個人ホームページ: http://www.ns.kogakuin.ac.jp/~wwa1056/profile1.html
顔写真
■名誉教授授与大学名    大学名

■学歴    学校名   課程名   研究科・専攻名/学部・学科名   卒業・修了年月日   卒業・修了区分   国内外区別   国名
大阪大学 基礎工学部 情報工学科 1983/03/25 卒業 国内

大阪大学 博士前期 基礎工学研究科 物理系専攻 情報工学分野 1985/03/25 修了 国内

■学位    取得学位名   授与機関名   取得年月日
博士(工学) 大阪大学 1993/03/16

■職歴    職名・役職名   就任・退任年月
日本電信電話株式会社 武蔵野電気通信研究所 情報通信基礎研究部 1985/04 - 1985/08

日本電信電話株式会社 基礎研究所 情報通信基礎研究部 1985/09 - 1987/06

日本電信電話株式会社 ソフトウェア研究所 ソフトウェア基礎技術研究部 研究主任 1987/07 - 1992/06

日本電信電話株式会社 基礎研究所 情報科学研究部 主任研究員 1992/07 - 1999/01

米国 The Johns Hopkins大 Department of Computer Science客員研究員 兼務 1994/08 - 1995/08

日本電信電話株式会社 先端技術総合研究所 企画部 情報戦略担当課長 1999/01 - 2000/10

日本電信電話株式会社 コミュニケーション科学基礎研究所 社会情報研究部 グループリーダ 2000/10 - 2003/10

京都大学 大学院情報学研究科 社会情報学専攻 客員准教授 兼務 2001/04 - 2013/03

大阪大学 大学院情報科学研究科 非常勤講師 兼務 2002/04 - 2004/09

日本電信電話株式会社 サイバースペース研究所 OSSコンピューティングプロジェクト 主幹研究員 2003/11 - 2007/03

日本電信電話株式会社 コミュニケーション科学基礎研究所 人間情報研究部 グループリーダ 2007/04 - 2011/03

日本電信電話株式会社 コミュニケーション科学基礎研究所 協創情報研究部 主幹研究員 2011/04 - 2013/03

工学院大学 情報学部 コンピュータ科学科 教授 2013/04 - 2016/03

工学院大学 情報学部 システム数理学科 教授 2016/04 - 現在

■教育・研究活動状況    活動状況
分散アルゴリズム研究室において、暗号理論、アルゴリズム理論、ゲーム理論などの教育研究を行っている

■研究分野    分野名
情報学基礎

通信・ネットワーク工学

■キーワード    キーワード
暗号理論、分散アルゴリズム、ゲーム理論、グラフ理論、公平分割、ネットワークプロトコル

■受賞学術賞    受賞学術賞名   受賞年月   国内外区別

■教科書・教材    教科書・教材名   作成年月
概要

■所属学会    所属学会名   所属期間   国内外別
役職名  在任期間
日本応用数理学会 1997/04 - 現在 国内
副会長 2010/04 - 2011/04
年会実行委員 2008/05 - 2010/09
理事 2008/04 - 2012/04
学会誌編集委員 1997/04 - 2000/03

電子情報通信学会 1983/05 - 現在 国内
和文論文誌A編集委員会 編集委員 2016/06 - 2020/05
英文論文誌A編集委員会 編集委員 2016/06 - 2020/05
2016年総合大会ポスターセッション審査員 2016/03 - 2016/03
2015年総合大会ポスターセッション審査員 2015/03 - 2015/03
和文論文誌D-1「ユビキタス社会構築のためのネットワークに対する理論とその応用」小特集号編集委員 2004/10 - 2005
英文論文誌「離散数学とその応用」特集号編集委員 2002/04 - 2003/05
ニュース委員会委員 1999/02 - 1999/08
コンピュテーション研究会研究専門委員 1997/05 - 2003/04
回路とシステム軽井沢ワークショップ実行委員 1992/04 - 1996/09
ソサイエティ論文誌編集委員会査読委員 1989/10 - 現在

情報処理学会 1983/05 - 現在 国内
論文誌「娯楽の離散数理」特集号編集委員 2014/02/26 - 2015/05/01
論文誌「パズルの数理」特集号編集委員 2012/03 - 2013/05
関西支部幹事 2001/05 - 2003/05
論文誌査読委員 1997/05 - 2003/05
論文誌編集委員 1996/05 - 2000/05
アルゴリズム研究会連絡委員 1994/05 - 1997/05
学会誌編集委員 1993/05 - 1995/05

IEEE 2000/12 - 現在 国外
IEEE Cyber Science and Technology Congress(CyberSciTech 2016)(CyberSciTech 2016) Program Committee 2016/01 - 2017/11/10
5th IEEE International Conference on IT Convergence and Security(ICITCS 2015) Program Committee 2015/04 - 2015/08
The 11th IEEE International Conference on Autonomic and Trusted Computing(ATC-2014) Program Committee 2014/06 - 2014/12
IEEE International Conference on Systems and Informatics (ICSAI 2012) Program Committee 2012/03 - 2012/05
IEEE International Workshop on Assurance in Distributed Systems and Networks(ADSN2012)(ADSN2013) (ADSN2014)(ADSN2015)(ADSN 2016) (ADSN 2017) Program Committee 2011/10 - 2017/06
IEEE International Conference on Information Science and Applications (ICISA2010)(ICISA2011)(ICISA2012) Program Committee 2009/05 - 2012/05
IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing(SNPD2007)(SNPD2008)(SNPD2009)(SNPD2012)(SNPD2013) Program Committee 2007/03 - 2013/07
IEEE/ACIS International Conference on Computer and Information Science(ICIS2008)(ICIS2009)(ICIS2010)(ICIS2011)(ICIS2012)(ICIS2013) Program Committee 2007/03 - 2013/06
24th International Conference on Distributing Computing Systems(ICDCS) Program Committee 2003/11 - 2004/03
Kansai Section Membership Development Committee 2002/12 - 2003/12
International Conference on Parallel and Distributed Systems(ICPADS) Program Committee 1994/01 - 1994/12

ACM 1987/05 - 現在 国外

OSDL Japan 2004/11 - 2006/12 国内
Data Center Linux-Japan テクニカルリーダ 2004/11 - 2006/12

AMS(American Mathematical Society) 2017/02 - 現在 国内
Mathematical Reviews, reviewer 2017/02 - 現在

ICICM(International Conference on Information Communication and Management) 2016/09 - 現在 国内
International Conference on Information Communication and Management(ICICM 2016)(ICICM 2017) Program Committee 2016/09 - 2017/08

情報科学ワークショップ 2016/07 - 現在 国内
第12回情報科学ワークショップ世話役 2016/07 - 2016/09

ICSAI(International Conference on Systems and Informatics) 2016/07 - 2016/11 国内
3rd International Conference on Systems and Informatics (ICSAI 2016) Program Committee 2016/07 - 2016/11

Journal of Advances in Computer Networks (JACN) 2016/03 - 現在 国内
Journal of Advances in Computer Networks (JACN) Editorial Board Member 2016/03 - 現在

CANDAR(Computing and Networking — Across Practical Development and Theoretical Research) 2016/03 - 現在 国内
International Workshop on Information and Communication Security (WICS 2016)(WICS 2017) Program Committee 2016/03 - 2017/11
International Symposium on Computing and Networking (CANDAR 2016)(CANDAR 2017) Program Committee 2016/03 - 2017/11

International Academy of Computer Technology(IACT) 2015/04 - 現在 国内
8th International Conference on Networking and Information Technology(ICNIT 2017) Conference Chair 2017/07 - 2017/11/26
2nd International Conference on Medical Information and Bioengineering (ICMIB 2017) Program Chair 2017/01 - 2017/10
9th International Conference on on Information Management and Engineering(ICIME 2017) Program Chair 2017/01 - 2017/10
International Conference on Computational Biology (ICOCB 2017) Conference Chair 2016/12 - 2017/05
2nd International Conference on Information and Network Technologies(ICINT 2017) Conference Chair 2016/12 - 2017/05
International Conference on Medical Information and Bioengineering (ICMIB 2016) Program Committee Co-Chair 2016/03 - 2016/11
8th International Conference on Information Management and Engineering (ICIME 2016) Program Committee Co-Chair 2016/03 - 2016/11
4th International Conference on Network and Computing Technology(ICNCT 2015) Program Committee 2015/04 - 2015/08

DISC(International Symposium on Distributed Computing) 2014/08 - 2015/09 国内
29th International Symposium on Distributed Computing(DISC 2015) Organizing Committee 2014/08 - 2015/09

SSCC(International Symposium on Security in Computing and Communications) 2012/12 - 2013/08 国内
International Symposium on Security in Computing and Communications (SSCC’13) Program Committee 2012/12 - 2013/08

ICITCS(International Conference on IT Convergence and Security) 2011/06 - 2011/12 国内
International Conference on IT Convergence and Security(ICITCS2011) Program Committee 2011/06 - 2011/12

ACIS(International Association for Computer and Information Science) 2009/04 - 2011/12 国内
ACIS International Symposium on Software and Network Engineering(SSNE2011) Program Committee 2011/09 - 2011/12
ACIS International Conference on Software Engineering Research, Management and Applications (SERA2009)(SERA2010)(SERA2011)(SERA2012) Program Committee 2009/04 - 2012/04

IFIP(International Federation for Information Processing) 2009/04 - 2011/02 国内
IFIP International Conference on New Technologies, Mobility and Security(NTMS2009)(NTMS2010)(NTMS2011) Program Committee 2009/04 - 2011/02

SECRIPT 2009/01 - 2009/07 国内
International Conference on Security and Privacy(SECRIPT 2009) Program Committee 2009/01 - 2009/07

CosyProofs(Computational and Symbolic Proofs of Security) 2008/10 - 2009/04 国内
Spring School and French-Japanese collaboration workshop on Computational and Symbolic Proofs of Security(CosyProofs 2009) Organizing Committee 2008/10 - 2009/04

IADIS(International Association for development of the Information Society) 2003/10 - 2013/10 国内
IADIS International Conference on Applied Computing(AC2004)(AC2005)(AC2006)(AC2008)(AC2009)(AC2010)(AC2011)(AC2012)(AC2013) Program Committee 2003/10 - 2013/10

APIS(Asia Pacific International Symposium) 2002/04 - 2007 国内
Asia Pacific International Symposium on Information Technology(APIS2007) Advisory Committee 2007/03 - 2007/12
Asia Pacific International Symposium on Internet and Multimedia(APIS2) Advisory Committee 2002/04 - 2002/12

■免許・資格    免許・資格名   取得年月
概要
第1種情報処理技術者 1982/01

中学校教諭1級普通免許(数学) 1983/03

高等学校教諭1級普通免許(数学) 1985/03