「アルゴリズム」に関するサイレントキーワード「関数プログラミング」が含まれる科研費採択研究2件

【研究名】プログラム運算システムの実用化に関する研究
【研究代表者】武市 正人  東京大学   大学院・工学系研究科   教授 	https://nrid.nii.ac.jp/ja/nrid/1000010011165/	 
【研究分担者】
尾上 能之  東京大学  大学院・工学系研究科  助手  	https://nrid.nii.ac.jp/ja/nrid/1000080292770/	
田中 哲朗  東京大学  情報基盤センター  助教授  	https://nrid.nii.ac.jp/ja/nrid/1000060251360/	
胡 振江  東京大学  大学院・工学系研究科  助教授  	https://nrid.nii.ac.jp/ja/nrid/1000050292769/	
高野 明彦  国立情報学研究所  ソフトウェア研究系  教授
岩崎 英哉  東京大学  大学院・工学系研究科  助教授  	https://nrid.nii.ac.jp/ja/nrid/1000090203372/	
高野 昭彦  株式会社  日立製作所・基礎研究所  主任研究員 

【研究名】構成的アルゴリズム論に基づくプログラム最適化とその実現法に関する研究
【研究代表者】武市 正人  東京大学   大学院・工学系研究科   教授 	https://nrid.nii.ac.jp/ja/nrid/1000010011165/	 
【研究分担者】
胡 振江  東京大学  大学院・工学系研究科  講師  	https://nrid.nii.ac.jp/ja/nrid/1000050292769/	
高野 明彦  	https://nrid.nii.ac.jp/ja/nrid/10000株)日立製作所基礎研究所  主任研究員
田中 哲朗  東京大学  教育用計算機センター  助教授  	https://nrid.nii.ac.jp/ja/nrid/1000060251360/	
岩崎 英哉  東京大学  大学院・工学系研究科  助教授  	https://nrid.nii.ac.jp/ja/nrid/1000090203372/