査読付

[1] 関谷貴之, 佐藤孝明, 寺脇由紀, 尾上能之, 山口和紀:学習管理システム CFIVE の継続的な開発と運用の評価, 情報教育シンポジウム SSS2006, pp. 339-346 (2006). [ bib | .pdf ]
[2] 関谷貴之, 寺脇由紀, 尾上能之, 山口和紀:オープンソース学習管理システム CFIVE の開発と運用, メディア教育研究, Vol. 1, No. 2, pp. 73-81 (2005). [ bib | .pdf ]
[3] 関谷貴之, 寺脇由紀, 尾上能之, 山口和紀:学習管理システム CFIVE の開発と運用, 第9回 分散システム/インターネット運用技術シンポジウム, pp. 81-86 (2004). [ bib | .pdf ]
[4] 関谷貴之, 寺脇由紀, 尾上能之, 山口和紀:学習管理システムの開発と運用, 情報教育シンポジウム SSS2004, pp. 141-144 (2004). [ bib | .pdf ]
[5] 尾上能之, 胡振江, 岩崎英哉, 武市正人:プログラム融合変換の実用的有効性の検証, コンピュータソフトウェア, Vol. 17, No. 3, pp. 81-85 (2000). [ bib ]
[6] 尾上能之, 胡振江, 武市正人:HYLO システムによるプログラム融合変換の実現, コンピュータソフトウェア, Vol. 15, No. 6, pp. 52-56 (1998). [ bib | .pdf ]
[7] Onoue, Y., Hu, Z., Iwasaki, H. and Takeichi, M.: A Calculational Fusion System HYLO, in Bird, R. and Meertens, L. eds., IFIP TC2 WG2.1 Algorithmic Languages and Calculi, pp. 76-106, Alsace, France (1997), Chapman & Hall. [ bib | .ps.gz | .pdf ]
[8] 金子敬一, 尾上能之, 武市正人:完全遅延評価に適した関数プログラムの共有解析, 情報処理学会論文誌, Vol. 35, No. 3, pp. 391-403 (1994). [ bib ]

招待・解説

[9] 尾上能之:Haskellプログラミング, 第3回プログラミングおよびプログラミング言語サマースクール 講師 (2005). [ bib | .html ]
[10] 尾上能之:Haskellプログラミング : 自分自身を出力するプログラム, 情報処理学会学会誌, pp. 301-309 (2006). [ bib | .pdf ]
[11] 尾上能之:Haskellプログラミング : 対戦型 n 目並べ, 情報処理学会学会誌, pp. 1403-1410 (2005). [ bib | .pdf ]
[12] 尾上能之:Haskellプログラミング : 文字列間の距離 - モナドを使って -, 情報処理学会学会誌, pp. 1053-1060 (2005). [ bib | .pdf ]
[13] 尾上能之:Haskellプログラミング : 数当てゲームを解く, 情報処理学会学会誌, pp. 701-707 (2005). [ bib | .pdf ]
[14] 尾上能之:プログラミング言語 Haskell とその処理系, コンピュータソフトウェア, Vol. 18, No. 6, pp. 59-66 (2001). [ bib | .pdf ]

学会発表

[15] 尾上能之:関数「思考」プログラミングのケーススタディ, 情報処理学会 夏のプログラミングシンポジウム (2007). [ bib ]
[16] 尾上能之:大規模利用における学習管理システムの問題点とその対策, 情報処理教育研究集会, 九州大学 (2005), a3b-03. [ bib ]
[17] 関谷貴之, 寺脇由紀, 尾上能之, 山口和紀:学習管理システム CFIVE, 教育システム情報学会 シンポジウム「大学教育の多様化とe-Learningの活用」, 早稲田大学 (2005). [ bib ]
[18] 関谷貴之, 尾上能之, 山口和紀, 岩堀祐之, 中西通雄, 藤井康雄:情報処理教育用シミュレータの開発, 情報処理学会 コンピュータと教育研究会, 第73回研究会 (2003). [ bib ]
[19] 尾上能之, 武市正人:Shortcut Deforestation における効率の解析, 日本ソフトウェア科学会 第 12 回大会, pp. 261-264 (1995). [ bib ]
[20] 尾上能之:完全遅延評価による部分計算の問題点, in Functional and Logic Programming Symposium (1994). [ bib ]
[21] 尾上能之, 金子敬一, 武市正人:関数プログラムのコンパイラにおける型情報を用いた効率的な共有解析の実現, 第 73 回 情報処理学会 記号処理研究会, pp. 25-32 (1993). [ bib ]
[22] Kaneko, K., Onoue, Y. and Takeichi, M.: Sharing Analysis of Functional Programs for Fully Lazy Evaluation, Technical Report METR 93-10, Faculty of Engineering, University of Tokyo (1993). [ bib ]
[23] 尾上能之, 広津千尋, 栗木哲:いくつかのノンパラメトリック検定法の正確な有意確率評価, 応用統計学会 年会, pp. 8-12 (1992). [ bib ]

特記

[24] 尾上能之:逆融合変換システムの実現に関する研究 (2000), 科学研究費補助金 奨励研究(A). [ bib ]
[25] 尾上能之:融合変換による関数プログラムの最適化, PhD thesis, 東京大学 大学院工学系研究科 情報工学専攻 (2002). [ bib | .pdf ]
[26] 尾上能之:型情報を用いた関数プログラムの共有解析に関する研究, Master's thesis, 東京大学 大学院工学系研究科 計数工学専攻 (1994). [ bib ]

This file has been generated by bibtex2html 1.85.