MTQFGE< - coord.c.titech.ac.jp · プログラマ ソフトウェア ......
9
M/(A? "KR4G< "C- "3LC 9B!9B9BP I WF1V 9B-C 9BD@4-C 9BST-C !;U =/(A? "4@6# "*'N: +$J) ! 2.45O4 7Q4 %0, *'8E &U8E >H MTQFGE<¡ p3+ xiq< t°
Transcript of MTQFGE< - coord.c.titech.ac.jp · プログラマ ソフトウェア ......
M/(A?�"����K�R 4G�<��
�"����C-�"���3LC
9B��!��9B��9BP�I����WF1V
9B�-C9BD@4�-C9B�ST�-C�!� ��;U
=/(A?�"����4@6#
�"����*'���N:
+$J)
���!
2.4�5O4
7Q4
%0,
*'8E
&U8E
>H
MTQFGE<�¡�
p3+��xiq<�
t°�
権藤研：ソフトウェア開発環境 ---ソフトウェア作りを楽にするソフトウェア---
プログラムが大きすぎて 全体が把握できない．
ここを変更したら，影響は どこまで及ぶだろう？
悩める プログラマ
ソフトウェア工学，ソフトウェア開発ツール プログラム理解，ソフトウェア保守，プログラム可視化 ソフトウェア開発における人的要素，プログラミング教育
研究テーマ �¬nC�«�¦¡�
Concrete problem / Initial context
Discretization (hex)
Abstract representation
Abstract solution
Concrete solution
Step 1
Step 2
Step 3
Step 4
Robot SoftwareNetwork
Robo
ts
Sensors Motors
Local subsystemMotor
sSensors
Local subsystem
Motors
Sensors
Local subsystem
ZigbeeTime Sync.
Network Mon.
RoutingMulticast ControlSLAM
"Controller
Group Applications
Collision-free protocol
Distributed motion planning
Coordination building blocksGeometric
Algorithms
Vision Real-time
Positioning
Target Applications - distributed mobile robot networks - sensor networks
Distributed Algorithms - tolerating dynamic and malicious faults - higher scalability, dynamic topologiesProgramming Framework - fault-tolerant distributed software - protocol composition
coordination / cooperation / consistency / consensusCloudIoTSmartGrid Robot swarms
Distributed SystemsDependable Distributed Systems Lab. Défago研デ フ ァ ゴ高信頼分散システム
西崎研究室
数理論理学
関連する概念・技術型理論・型付きλ計算線型論理SATソルバー・SMTソルバー
関連する概念・技術関数型言語型推論：型が書かれていなくても型を導くしくみ一級継続・一級環境：処理系の内部状態をプログラムが操作できるしくみ意味論：プログラムの動きを数学的に定義。関数型言語やオブジェクト指向言語のモデル
研究テーマSMTソルバーを用いたプログラムの解析，段階的型付け，限定継続機構の線型論理上での意味付け，…
プログラミング言語の数学的・論理学な構造を研究したい！
数理論理学を用いた応用を考えたい！
渡部研究室Programming Systems Group
様々なプログラミング・パラダイム（プログラミングに関する考え方）例：OOP，関数型，自己反映，アクター，FRP，COP，AOP
基礎諸性質を明らかにする
応用新しい応用領域の
開拓
表現使いやすい言語の設計と実装
研究テーマ・関数リアクティブプログラミングにもとづく組込みシステムの高度化・自己反映的アクターモデルにもとづく安全で適応的な分散システム・形式手法によるヒューマンエラーに対する耐性解析・プログラムの多様化による攻撃に強いIoTデバイス用ソフトウェア・プログラムの実行解析によるソフトウェアの理解支援
www.psg.c.titech.ac.jp
SA.CS Software Analytics Laboratory
情報理工学院情報工学系
竰竲涸ח遤ך،ؑؐزؿا鹌⻉ 琎噰涸ז㢌刿ֽ⸔䩛卌研究室
• ソフトウェア開発成果物の変更の把握を容易にするための変更分析技術• 分析結果に基づいて開発者の変更を助ける変更支援技術• 膨大なソフトウェア成果物の内容を把握するための理解支援技術• ソフトウェア進化の事例を分析しその特徴を明らかにする進化の解明
⻉荈ך佄䴂䩛岀״ח٦ٕ涪خ٥佄䴂٥侄肪⻉荈ךؚٝٔةؙ؋ؿٔ
䪮遭涸頾⫈ך暴㹀٥盖椚٥鍑嶊
涪ة٦رⴓ匿״ח鹌⻉ך鍑僇䱱稊䪮遭ח㛇زؿاֻב荈鹌⻉
倜ְ׃晛盖椚䪮遭״ח㢌刿盖椚堣腉䯽稊״ח堣腉ך㹋鄲皘䨽暴㹀䧭卓暟ך鷄騊䚍ך㔐䗁٥盖椚٥ⵃ欽
井上研究室:AIとプログラミングの融合
• 知識表現・推論とプログラミング →問題を記述するだけで解く• 論理プログラミング(logicprogramming):論理式で記述，論理演算結果を出力• 制約プログラミング(constraintprogramming):制約式で記述，最適な割当を出力• 解集合プログラミング(answersetprogramming):高次の知識表現に基づく推論
• 機械学習とプログラミング →ノイズを含む巨大データで動く• 帰納プログラミング(induc7veprogramming):観測事象の説明• プログラム自動合成(programsynthesis):例からのプログラミング• 微分可能 (differen7able)プログラミング:意味論のベクトル空間への埋め込み
: h=p://research.nii.ac.jp/il/*[email protected]
本研究室は国立情報学研究所・井上研究室と連動しています．井上研を希望する学生は必ず事前に 井上克巳・特任教授 に相談してください．
研究テーマ
情報理工学院 数理･計算科学系
室伏俊明研究室 数理･計算科学コース/知能情報コース
情報工学系 知能情報コース
「区分線形関数」2015/08/28 06:51UTC『ウィキペディア日本語版』より
• 集合関数（非加法的測度，ファジィ測度，協力ゲーム（の特性関数），重み付きhypergraph）
ex. m({タカ}) = 1, m({トシ}) = 1, m({タカ，トシ}) = 3
• 区分線形関数（i.e., 折れ線グラフやその多次元版）
• 離散構造をもつ情報の視覚的表示
• 形式概念分析 (Formal Concept Analysis)
MUROFUSHI, Toshiaki
