@COMMENT{{査読付}}
@INPROCEEDINGS{sss2006,
author = {関谷 貴之 and 佐藤 孝明 and 寺脇 由紀 and 尾上 能之 and 山口 和紀},
yomi = {Takayuki Sekiya and Takaaki Sato and Yuki Terawaki and Yoshiyuki Onoue and Kazunori Yamaguchi},
title = {学習管理システム CFIVE の継続的な開発と運用の評価},
booktitle = {情報教育シンポジウム SSS2006},
pages = {339--346},
year = {2006},
url = {http://cfive.itc.u-tokyo.ac.jp/doc/SSS2006.pdf}
}
@ARTICLE{nime2005,
author = {関谷 貴之 and 寺脇 由紀 and 尾上 能之 and 山口 和紀},
yomi = {Takayuki Sekiya and Yuki Terawaki and Yoshiyuki Onoue and Kazunori Yamaguchi},
title = {オープンソース学習管理システム CFIVE の開発と運用},
journal = {メディア教育研究},
volume = {1},
number = {2},
pages = {73--81},
year = {2005},
url = {http://www.nime.ac.jp/journal/08ronbun01.pdf}
}
@INPROCEEDINGS{dsm2004,
author = {関谷 貴之 and 寺脇 由紀 and 尾上 能之 and 山口 和紀},
yomi = {Takayuki Sekiya and Yuki Terawaki and Yoshiyuki Onoue and Kazunori Yamaguchi},
title = {学習管理システム CFIVE の開発と運用},
booktitle = {第9回 分散システム/インターネット運用技術シンポジウム},
pages = {81--86},
year = {2004},
url = {http://cfive.itc.u-tokyo.ac.jp/doc/dsm.pdf}
}
@INPROCEEDINGS{sss2004,
author = {関谷 貴之 and 寺脇 由紀 and 尾上 能之 and 山口 和紀},
yomi = {Takayuki Sekiya and Yuki Terawaki and Yoshiyuki Onoue and Kazunori Yamaguchi},
title = {学習管理システムの開発と運用},
booktitle = {情報教育シンポジウム SSS2004},
pages = {141--144},
year = {2004},
url = {http://cfive.itc.u-tokyo.ac.jp/doc/sss2004.pdf}
}
@ARTICLE{jssst2000,
author = {尾上 能之 and 胡 振江 and 岩崎 英哉 and 武市 正人},
yomi = {Yoshiyuki Onoue and Zhenjiang Hu and Hideya Iwasaki and Masato Takeichi},
title = {プログラム融合変換の実用的有効性の検証},
journal = {コンピュータソフトウェア},
volume = {17},
number = {3},
pages = {81--85},
year = {2000}
}
@ARTICLE{jssst1998,
author = {尾上 能之 and 胡 振江 and 武市 正人},
yomi = {Yoshiyuki Onoue and Zhenjiang Hu and Masato Takeichi},
title = {HYLO システムによるプログラム融合変換の実現},
journal = {コンピュータソフトウェア},
volume = {15},
number = {6},
pages = {52--56},
year = {1998},
pdf = {jssst97.pdf}
}
@INPROCEEDINGS{ifip1997,
author = {Yoshiyuki Onoue and Zhenjiang Hu and Hideya Iwasaki and Masato Takeichi},
yomi = {Yoshiyuki Onoue and Zhenjiang Hu and Hideya Iwasaki and Masato Takeichi},
title = {A Calculational Fusion System HYLO},
booktitle = {IFIP TC2 WG2.1 Algorithmic Languages and Calculi},
editor = {Richard Bird and Lambert Meertens},
publisher = {Chapman \& Hall},
pages = {76--106},
address = {Alsace, France},
month = FEB # {~17--22},
year = {1997},
ps = {ifip97.ps.gz},
pdf = {ifip97.pdf}
}
@ARTICLE{ipsj1994,
author = {金子 敬一 and 尾上 能之 and 武市 正人},
yomi = {Keiichi Kaneko and Yoshiyuki Onoue and Masato Takeichi},
title = {完全遅延評価に適した関数プログラムの共有解析},
journal = {情報処理学会論文誌},
volume = {35},
number = {3},
pages = {391--403},
year = {1994}
}
@COMMENT{{招待}}
@INPROCEEDINGS{pplss2005,
author = {尾上 能之},
yomi = {Yoshiyuki Onoue},
title = {Haskellプログラミング},
booktitle = {第3回プログラミングおよびプログラミング言語サマースクール 講師},
year = {2005},
url = {http://www.math.kyoto-u.ac.jp/~susumu/ppl_ss05/online.html}
}
@COMMENT{{解説}}
@ARTICLE{ipsj200603,
author = {尾上 能之},
yomi = {Yoshiyuki Onoue},
title = {Haskellプログラミング : 自分自身を出力するプログラム},
journal = {情報処理学会学会誌},
pages = {301--309},
month = MAR,
year = {2006},
url = {http://www.ipsj.or.jp/07editj/promenade/4703.pdf}
}
@ARTICLE{ipsj200512,
author = {尾上 能之},
yomi = {Yoshiyuki Onoue},
title = {Haskellプログラミング : 対戦型 n 目並べ},
journal = {情報処理学会学会誌},
pages = {1403--1410},
month = DEC,
year = {2005},
url = {http://www.ipsj.or.jp/07editj/promenade/4612.pdf}
}
@ARTICLE{ipsj200509,
author = {尾上 能之},
yomi = {Yoshiyuki Onoue},
title = {Haskellプログラミング : 文字列間の距離 --- モナドを使って ---},
journal = {情報処理学会学会誌},
pages = {1053--1060},
month = SEP,
year = {2005},
url = {http://www.ipsj.or.jp/07editj/promenade/4609.pdf}
}
@ARTICLE{ipsj200506,
author = {尾上 能之},
yomi = {Yoshiyuki Onoue},
title = {Haskellプログラミング : 数当てゲームを解く},
journal = {情報処理学会学会誌},
pages = {701--707},
month = JUN,
year = {2005},
url = {http://www.ipsj.or.jp/07editj/promenade/4606.pdf}
}
@ARTICLE{jssst2001,
author = {尾上 能之},
yomi = {Yoshiyuki Onoue},
title = {プログラミング言語 Haskell とその処理系},
journal = {コンピュータソフトウェア},
volume = {18},
number = {6},
pages = {59--66},
year = {2001},
pdf = {jssst01.pdf}
}
@COMMENT{{学会発表}}
@INPROCEEDINGS{sprosym2007,
author = {尾上 能之},
yomi = {Yoshiyuki Onoue},
title = {関数「思考」プログラミングのケーススタディ},
booktitle = {情報処理学会 夏のプログラミングシンポジウム},
year = {2007}
}
@INPROCEEDINGS{conf2005,
author = {尾上 能之},
yomi = {Yoshiyuki Onoue},
title = {大規模利用における学習管理システムの問題点とその対策},
booktitle = {情報処理教育研究集会},
address = {九州大学},
note = {a3b-03},
year = {2005}
}
@INPROCEEDINGS{jsise2005,
author = {関谷 貴之 and 寺脇 由紀 and 尾上 能之 and 山口 和紀},
yomi = {Takayuki Sekiya and Yuki Terawaki and Yoshiyuki Onoue and Kazunori Yamaguchi},
title = {学習管理システム CFIVE},
booktitle = {教育システム情報学会 シンポジウム「大学教育の多様化とe-Learningの活用」},
address = {早稲田大学},
year = {2005}
}
@INPROCEEDINGS{jsim2003,
author = {関谷 貴之 and 尾上 能之 and 山口 和紀 and 岩堀 祐之 and 中西 通雄 and 藤井 康雄},
yomi = {Takayuki Sekiya and Yoshiyuki Onoue and Kazunori Yamaguchi and Yuji Iwahori and Michio Nakanishi and Yasuo Fujii},
title = {情報処理教育用シミュレータの開発},
booktitle = {情報処理学会 コンピュータと教育研究会, 第73回研究会},
year = {2003}
}
@INPROCEEDINGS{jssst1995,
author = {尾上 能之 and 武市 正人},
yomi = {Yoshiyuki Onoue and Masato Takeichi},
title = {Shortcut Deforestation における効率の解析},
booktitle = {日本ソフトウェア科学会 第 12 回大会},
pages = {261--264},
month = SEP # {~12--14},
year = {1995}
}
@INPROCEEDINGS{flops1994,
author = {尾上 能之},
yomi = {Yoshiyuki Onoue},
title = {完全遅延評価による部分計算の問題点},
booktitle = {Functional and Logic Programming Symposium},
month = JUL # {~18--20},
year = {1994}
}
@INPROCEEDINGS{sigsym1993,
author = {尾上 能之 and 金子 敬一 and 武市 正人},
yomi = {Yoshiyuki Onoue and Keiichi Kaneko and Masato Takeichi},
title = {関数プログラムのコンパイラにおける型情報を用いた効率的な共有解析の実現},
booktitle = {第 73 回 情報処理学会 記号処理研究会},
pages = {25--32},
month = NOV # {~19},
year = {1993}
}
@TECHREPORT{metr1993,
author = {Keiichi Kaneko and Yoshiyuki Onoue and Masato Takeichi},
yomi = {Keiichi Kaneko and Yoshiyuki Onoue and Masato Takeichi},
title = {Sharing Analysis of Functional Programs for Fully Lazy Evaluation},
type = {Technical Report},
number = {METR 93-10},
institution = {Faculty of Engineering, University of Tokyo},
year = {1993}
}
@INPROCEEDINGS{stat1992,
author = {尾上 能之 and 広津 千尋 and 栗木 哲},
yomi = {Yoshiyuki Onoue and Chihiro Hirotsu and Satoshi Kuriki},
title = {いくつかのノンパラメトリック検定法の正確な有意確率評価},
booktitle = {応用統計学会 年会},
pages = {8--12},
month = APR # {~25},
year = {1992}
}
@COMMENT{{特記}}
@MISC{kaken2000,
author = {尾上 能之},
yomi = {Yoshiyuki Onoue},
title = {逆融合変換システムの実現に関する研究},
note = {科学研究費補助金 奨励研究(A)},
year = {2000}
}
@PHDTHESIS{doctor2002,
author = {尾上 能之},
yomi = {Yoshiyuki Onoue},
title = {融合変換による関数プログラムの最適化},
school = {東京大学 大学院工学系研究科 情報工学専攻},
year = {2002},
pdf = {drthesis02.pdf}
}
@MASTERSTHESIS{master1994,
author = {尾上 能之},
yomi = {Yoshiyuki Onoue},
title = {型情報を用いた関数プログラムの共有解析に関する研究},
school = {東京大学 大学院工学系研究科 計数工学専攻},
year = {1994}
}
This file has been generated by bibtex2html 1.85.