{"id":1008,"date":"2023-07-11T12:23:38","date_gmt":"2023-07-11T03:23:38","guid":{"rendered":"https:\/\/www.elst.okayama-u.ac.jp\/en\/?page_id=1008"},"modified":"2025-06-09T16:28:16","modified_gmt":"2025-06-09T07:28:16","slug":"areas04_comp","status":"publish","type":"page","link":"https:\/\/www.elst.okayama-u.ac.jp\/en\/education\/mc-suuri\/areas04_comp\/","title":{"rendered":"Theory of Programming and Artificial Intelligence"},"content":{"rendered":"<h4>&nbsp;<\/h4>\n<p><img loading=\"lazy\" decoding=\"async\" class=\" wp-image-69 aligncenter\" src=\"https:\/\/www.elst.okayama-u.ac.jp\/up_load_files\/areas\/areas04_comp\/theme.png\" alt=\"\" width=\"491\" height=\"347\"><\/p>\n<p>We conduct a wide range of research on basic theory and applications of computational intelligence, mathematical informatics, and software engineering. Specifically, we promote research on machine learning algorithms, mathematical programming, distributed algorithms, software measurement and analytics, mining software repositories, human behavior analysis, human-machine interaction, computer vision and so on.<\/p>\n<table class=\"el_table_fix\" style=\"width: 100%\">\n<tbody>\n<tr>\n<th style=\"width: 20%\"><img loading=\"lazy\" decoding=\"async\" class=\"alignnone size-medium\" src=\"https:\/\/www.elst.okayama-u.ac.jp\/up_load_files\/areas\/areas04_comp\/TAKAHASHI Norikazu.jpg\" width=\"320\" height=\"408\"><\/th>\n<td style=\"width: 80%\">\n<ul>\n<li style=\"list-style-type: none;font-size: 12px;margin-left: -20px\"><span style=\"font-size: 12pt\">Prof. TAKAHASHI Norikazu<\/span><\/li>\n<li style=\"list-style-type: none;font-size: 12px;margin-left: -20px\"><span style=\"font-size: 12pt\">E-mail: <span id=\"content_ousdb1_lp$002fitem$005b1$005d$002fsys_mail\">takahashi<span style=\"color: #0000ff\"> [at]<\/span> <\/span>okayama-u.ac.jp<\/span><\/li>\n<li style=\"list-style-type: none;font-size: 12px;margin-left: -20px\"><span style=\"font-size: 12pt\">information and mathematical engineering<\/span><\/li>\n<\/ul>\n<p><span style=\"font-size: 12pt\"><a class=\"el_linkBtn\" href=\"https:\/\/soran.cc.okayama-u.ac.jp\/html\/5fe6cd066906988474506e4da22f6611_en.html\">Directory of Researchers<\/a> \u3000<a class=\"el_linkBtn\" href=\"https:\/\/www.cc.okayama-u.ac.jp\/imelab\/takahashi.en.html\">Link to homepage<\/a>&nbsp;<\/span><\/p>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<h5>Development of distributed algorithms for multiagent systems<\/h5>\n<p><a href=\"https:\/\/www.elst.okayama-u.ac.jp\/up_load_files\/areas\/areas04_comp\/img_TAKAHASHI Norikazu.png\"><img loading=\"lazy\" decoding=\"async\" class=\"alignright\" src=\"https:\/\/www.elst.okayama-u.ac.jp\/up_load_files\/areas\/areas04_comp\/img_TAKAHASHI Norikazu.png\" alt=\"\" width=\"266\" height=\"203\"><\/a><\/p>\n<p>I am studying methods for multiple agents to solve problems in a distributed and cooperative manner. Specifically, I design distributed algorithms for agents to solve given large-scale problems efficiently under the situation that each agent can communicate only with a small number of neighboring agents, and apply them to principal component analysis, nonnegative matrix factorization, and federated learning.<\/p>\n<p>&nbsp;<\/p>\n<table class=\"el_table_fix\" style=\"width: 100%\">\n<tbody>\n<tr>\n<th style=\"width: 20%\"><img loading=\"lazy\" decoding=\"async\" class=\"alignnone size-medium\" src=\"https:\/\/www.elst.okayama-u.ac.jp\/up_load_files\/areas\/areas04_comp\/MONDEN Akito.jpg\" width=\"320\" height=\"408\"><\/th>\n<td style=\"width: 80%\">\n<ul>\n<li style=\"list-style-type: none;font-size: 12px;margin-left: -20px\"><span style=\"font-size: 12pt\">Prof. MONDEN Akito<\/span><\/li>\n<li style=\"list-style-type: none;font-size: 12px;margin-left: -20px\"><span style=\"font-size: 12pt\">E-mail: <span id=\"content_ousdb1_lp$002fitem$005b9$005d$002fsys_mail\">monden <span style=\"color: #0000ff\">[at]<\/span> <\/span>okayama-u.ac.jp<\/span><\/li>\n<li style=\"list-style-type: none;font-size: 12px;margin-left: -20px\"><span style=\"font-size: 12pt\">empirical software engineering<br \/>\n<\/span><\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<p><span style=\"font-size: 12pt\"><a class=\"el_linkBtn\" href=\"https:\/\/soran.cc.okayama-u.ac.jp\/html\/9006084ea11b0ed4_en.html\">Directory of Researchers<\/a> \u3000<a class=\"el_linkBtn\" href=\"https:\/\/www.okayama-u.ac.jp\/user\/salab\/index-e.html\">Link to group homepage<\/a><\/span><\/p>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<h5>Development of software project management simulator<\/h5>\n<p><a href=\"https:\/\/www.elst.okayama-u.ac.jp\/up_load_files\/areas\/areas04_comp\/img_MONDEN Akito.jpg\"><img loading=\"lazy\" decoding=\"async\" class=\"alignright\" src=\"https:\/\/www.elst.okayama-u.ac.jp\/up_load_files\/areas\/areas04_comp\/img_MONDEN Akito.jpg\" alt=\"\" width=\"230\" height=\"146\"><\/a><\/p>\n<p>In this study, we are developing a simulator for learning quantitative software development management (<a href=\"https:\/\/www.okayama-u.ac.jp\/user\/salab\/spm\/\">https:\/\/www.okayama-u.ac.jp\/user\/salab\/spm\/<\/a>). The simulator enables us to learn effort estimation, developer assignment considering their skills, schedule and cost management considering productivity factors, and engineer skill development through on-the-job training.<\/p>\n<p>&nbsp;<\/p>\n<table class=\"el_table_fix\" style=\"width: 100%\">\n<tbody>\n<tr>\n<th style=\"width: 20%\"><img loading=\"lazy\" decoding=\"async\" class=\"alignnone size-medium\" src=\"https:\/\/www.elst.okayama-u.ac.jp\/up_load_files\/areas\/areas04_comp\/NAKAGAWA Hiroyuki.png\" width=\"320\" height=\"408\"><\/th>\n<td style=\"width: 80%\">\n<ul>\n<li style=\"list-style-type: none;font-size: 12px;margin-left: -20px\"><span style=\"font-size: 12pt\">Prof. NAKAGAWA\u3000Hiroyuki<\/span><\/li>\n<li style=\"list-style-type: none;font-size: 12px;margin-left: -20px\"><span style=\"font-size: 12pt\">E-mail: h-nakagawa<span style=\"color: #0000ff\"> [at]<\/span> okayama-u.ac.jp<\/span><\/li>\n<li style=\"list-style-type: none;font-size: 12px;margin-left: -20px\"><span style=\"font-size: 12pt\">autonomous software, self-adaptive software, agents, software engineering, requirements engineering, software design<\/span><\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<p><span style=\"font-size: 12pt\"><a class=\"el_linkBtn\" href=\"https:\/\/soran.cc.okayama-u.ac.jp\/html\/5ed8f50cb15c62dfbc16db0f9fd601f5_en.html\">Directory of Researchers<\/a> \u3000<a class=\"el_linkBtn\" href=\"http:\/\/www-ise4.ist.osaka-u.ac.jp\/h-nakagawa\/\">Link to group homepage<\/a><\/span><\/p>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<h5>&nbsp;<\/h5>\n<p><a href=\"https:\/\/www.elst.okayama-u.ac.jp\/up_load_files\/areas\/areas04_comp\/img(E)_NAKAGAWA.png\"><img loading=\"lazy\" decoding=\"async\" class=\"alignright\" src=\"https:\/\/www.elst.okayama-u.ac.jp\/up_load_files\/areas\/areas04_comp\/img(E)_NAKAGAWA.png\" alt=\"\" width=\"230\" height=\"146\"><\/a><\/p>\n<p>&nbsp;<\/p>\n<p>We aim to realize self-adaptive systems and multi-agent systems that autonomously monitor and analyze the current situation, consider the next strategy to take, and change their own behavior to achieve their goals. We are also studying next-generation technologies for designing and implementing autonomous software, such as technologies for automating software development and automatically discovering user requirements.<\/p>\n<p>&nbsp;<\/p>\n<table class=\"el_table_fix\" style=\"width: 100%\">\n<tbody>\n<tr>\n<th style=\"width: 20%\"><img loading=\"lazy\" decoding=\"async\" class=\"alignnone size-medium\" src=\"https:\/\/www.elst.okayama-u.ac.jp\/up_load_files\/areas\/areas04_comp\/MIGITA Tsuyoshi.jpg\" width=\"320\" height=\"408\"><\/th>\n<td style=\"width: 80%\">\n<ul>\n<li style=\"list-style-type: none;font-size: 12px;margin-left: -20px\"><span style=\"font-size: 12pt\">Asst. Prof. MIGITA Tsuyoshi<\/span><\/li>\n<li style=\"list-style-type: none;font-size: 12px;margin-left: -20px\"><span style=\"font-size: 12pt\">E-mail: <span id=\"content_ousdb1_lp$002fitem$005b1$005d$002fsys_mail\">migita-t <span style=\"color: #0000ff\">[at]<\/span> <\/span>okayama-u.ac.jp<\/span><\/li>\n<li style=\"list-style-type: none;font-size: 12px;margin-left: -20px\"><span style=\"font-size: 12pt\">computer vision<br \/>\n<\/span><\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<p><span style=\"font-size: 12pt\"><a class=\"el_linkBtn\" href=\"https:\/\/soran.cc.okayama-u.ac.jp\/html\/30e8364b039b80c474506e4da22f6611_en.html\">Directory of Researchers<\/a>&nbsp;<\/span><\/p>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<h5>Image understanding via inverse rendering<\/h5>\n<p><a href=\"https:\/\/www.elst.okayama-u.ac.jp\/up_load_files\/areas\/areas04_comp\/img_InvRenderVase_MIGITA.png\"><img loading=\"lazy\" decoding=\"async\" class=\"alignright\" src=\"https:\/\/www.elst.okayama-u.ac.jp\/up_load_files\/areas\/areas04_comp\/img_InvRenderVase_MIGITA.png\" alt=\"\" width=\"230\" height=\"146\"><\/a><\/p>\n<p>Computer graphics algorithms generate 2D images from 3D parameters, such as shape and pose of each object in a 3D scene, considering laws of optics and geometry. Its inverse problems analyze 2D images to reconstruct 3D parameters, which enables computers to understand or accurately measure objects in a 2D image. I am studying efficient numerical optimization methods required for such inverse problems.<\/p>\n<p>&nbsp;<\/p>\n<table class=\"el_table_fix\" style=\"width: 100%\">\n<tbody>\n<tr>\n<th style=\"width: 20%\"><img loading=\"lazy\" decoding=\"async\" class=\"alignnone size-medium\" src=\"https:\/\/www.elst.okayama-u.ac.jp\/up_load_files\/areas\/areas04_comp\/INAYOSHI_Hiroki(02).jpg\" width=\"320\" height=\"408\"><\/th>\n<td style=\"width: 80%\">\n<ul>\n<li style=\"list-style-type: none;font-size: 12px;margin-left: -20px\"><span style=\"font-size: 12pt\">Asst. Prof. INAYOSHI Hiroki<\/span><\/li>\n<li style=\"list-style-type: none;font-size: 12px;margin-left: -20px\"><span style=\"font-size: 12pt\">E-mail: inayoshi <span style=\"color: #0000ff\">[at]<\/span> okayama-u.ac.jp<\/span><\/li>\n<li style=\"list-style-type: none;font-size: 12px;margin-left: -20px\"><span style=\"font-size: 12pt\">computer security, privacy leakage detection<\/span><\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<p><span style=\"font-size: 12pt\"><a class=\"el_linkBtn\" href=\"https:\/\/soran.cc.okayama-u.ac.jp\/html\/6b8f6a34386d15a3d077bc38d49d4023_en.html\">Directory of Researchers<\/a> \u3000<\/span><\/p>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<h5>&nbsp;<\/h5>\n<p><a href=\"https:\/\/www.elst.okayama-u.ac.jp\/up_load_files\/areas\/areas04_comp\/img_INAYOSHI.png\"><img loading=\"lazy\" decoding=\"async\" class=\"alignright\" src=\"https:\/\/www.elst.okayama-u.ac.jp\/up_load_files\/areas\/areas04_comp\/img_INAYOSHI.png\" alt=\"\" width=\"230\" height=\"146\"><\/a><\/p>\n<p>Our goal is to understand and solve challenges in computer security and privacy leakage. We collect and analyze released software without source code. In recent years, we have focused on Android applications. We study various analysis techniques, such as static and dynamic taint analyses, native code analysis, and network traffic analysis. We aim to improve these analysis techniques and also utilize them to investigate privacy leakage in real-world Android applications.<\/p>\n<p>&nbsp;<\/p>\n<table class=\"el_table_fix\" style=\"width: 100%\">\n<tbody>\n<tr>\n<th style=\"width: 20%\"><a href=\"https:\/\/www.elst.okayama-u.ac.jp\/en\/wp-content\/uploads\/sites\/2\/2025\/06\/OISHI-Keiichiro.jpg\"><img loading=\"lazy\" decoding=\"async\" class=\"alignnone size-medium wp-image-3098\" src=\"https:\/\/www.elst.okayama-u.ac.jp\/en\/wp-content\/uploads\/sites\/2\/2025\/06\/OISHI-Keiichiro-235x300.jpg\" alt=\"\" width=\"235\" height=\"300\" srcset=\"https:\/\/www.elst.okayama-u.ac.jp\/en\/wp-content\/uploads\/sites\/2\/2025\/06\/OISHI-Keiichiro-235x300.jpg 235w, https:\/\/www.elst.okayama-u.ac.jp\/en\/wp-content\/uploads\/sites\/2\/2025\/06\/OISHI-Keiichiro.jpg 583w\" sizes=\"auto, (max-width: 235px) 100vw, 235px\" \/><\/a><\/th>\n<td style=\"width: 80%\">\n<ul>\n<li style=\"list-style-type: none;font-size: 12px;margin-left: -20px\"><span style=\"font-size: 12pt\">Asst. Prof. OISHI Keiichiro<\/span><\/li>\n<li style=\"list-style-type: none;font-size: 12px;margin-left: -20px\"><span style=\"font-size: 12pt\">E-mail: oishi <span style=\"color: #0000ff\">[at]<\/span> okayama-u.ac.jp<\/span><\/li>\n<li style=\"list-style-type: none;font-size: 12px;margin-left: -20px\"><span style=\"font-size: 12pt\">privacy-preserving data mining<\/span><\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<p><span style=\"font-size: 12pt\"><a class=\"el_linkBtn\" href=\"https:\/\/soran.cc.okayama-u.ac.jp\/html\/3342c1aa465ddb838c2fc0f9228a80e5_en.html\">Directory of Researchers<\/a> \u3000<\/span><\/p>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p>&nbsp;<\/p>\n<p><a href=\"https:\/\/www.elst.okayama-u.ac.jp\/en\/wp-content\/uploads\/sites\/2\/2025\/06\/privacy.jpg\"><img loading=\"lazy\" decoding=\"async\" class=\"size-medium wp-image-3099 alignright\" src=\"https:\/\/www.elst.okayama-u.ac.jp\/en\/wp-content\/uploads\/sites\/2\/2025\/06\/privacy-300x200.jpg\" alt=\"\" width=\"300\" height=\"200\" srcset=\"https:\/\/www.elst.okayama-u.ac.jp\/en\/wp-content\/uploads\/sites\/2\/2025\/06\/privacy-300x200.jpg 300w, https:\/\/www.elst.okayama-u.ac.jp\/en\/wp-content\/uploads\/sites\/2\/2025\/06\/privacy-1024x683.jpg 1024w, https:\/\/www.elst.okayama-u.ac.jp\/en\/wp-content\/uploads\/sites\/2\/2025\/06\/privacy-768x512.jpg 768w, https:\/\/www.elst.okayama-u.ac.jp\/en\/wp-content\/uploads\/sites\/2\/2025\/06\/privacy.jpg 1149w\" sizes=\"auto, (max-width: 300px) 100vw, 300px\" \/><\/a><\/p>\n<p>We conduct research on privacy-preserving data mining, a technology that enables the secure utilization of data containing personal information. Our current focus is on federated learning, in which multiple data holders collaboratively build AI models while preserving privacy. We aim to develop novel techniques that achieve a balance between privacy protection and utility.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>&nbsp; We conduct a wide range of research on basic theory and applications of computational intelligence, mat [&hellip;]<\/p>\n","protected":false},"author":5,"featured_media":0,"parent":140,"menu_order":30,"comment_status":"closed","ping_status":"closed","template":"template-layout_single.php","meta":{"footnotes":""},"class_list":["post-1008","page","type-page","status-publish","hentry"],"aioseo_notices":[],"publishpress_future_action":{"enabled":false,"date":"2026-06-10 20:49:47","action":"change-status","newStatus":"draft","terms":[],"taxonomy":"","extraData":[]},"publishpress_future_workflow_manual_trigger":{"enabledWorkflows":[]},"_links":{"self":[{"href":"https:\/\/www.elst.okayama-u.ac.jp\/en\/wp-json\/wp\/v2\/pages\/1008","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.elst.okayama-u.ac.jp\/en\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.elst.okayama-u.ac.jp\/en\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.elst.okayama-u.ac.jp\/en\/wp-json\/wp\/v2\/users\/5"}],"replies":[{"embeddable":true,"href":"https:\/\/www.elst.okayama-u.ac.jp\/en\/wp-json\/wp\/v2\/comments?post=1008"}],"version-history":[{"count":15,"href":"https:\/\/www.elst.okayama-u.ac.jp\/en\/wp-json\/wp\/v2\/pages\/1008\/revisions"}],"predecessor-version":[{"id":3160,"href":"https:\/\/www.elst.okayama-u.ac.jp\/en\/wp-json\/wp\/v2\/pages\/1008\/revisions\/3160"}],"up":[{"embeddable":true,"href":"https:\/\/www.elst.okayama-u.ac.jp\/en\/wp-json\/wp\/v2\/pages\/140"}],"wp:attachment":[{"href":"https:\/\/www.elst.okayama-u.ac.jp\/en\/wp-json\/wp\/v2\/media?parent=1008"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}