[University_of_Kyoto][bulletin][open_access][mathematics][数理解析研究所講究録] >京都大学数理解析研究所講究録 発行: 京都大学数理解析研究所 ISSN: 1880-2818 This is a report of research done at Research Institute for Mathematical Sciences, Kyoto University. The papers contained herein are in final form and will not be submitted for publication elsewhere.

[writting][journal][2009][article][research][computer_science][computer_software][paper] >「ソフトウェア開発で得られる経験や知見を成果とする論文 (=ソフトウェア論文) を書くことは難しい」とよく言わ れますが,「なぜ難しいのか」の分析はこれまで十分にはなされていません.本論文では本誌のソフトウェア論文特集 を編集した経験から,「ソフトウェア論文を書くことがなぜ難しい (と感じる) のか」の分析を試みます.問題は「著 者の作文の問題」だけではなく,ソフトウェア自体,ソフトウェア工学,査読者,社会状況にも要因があることを示 します. 要因が多岐に渡るので結論を短く言うことが難しいです.あえて言えば「著者の作文技術にも問題はあるが,(著 者の責任ではない) 本質的な難しさも別にあるので,著者が自らハードルを上げてしまうことは避けるべき」「ソフ トウェア論文の追試としての価値を査読者は評価すべき」です.また作文技術の問題を解決する一助として,ソフト ウェア論文の執筆チェックリストを最後に示します.

[CiNii][report][ICSE_2011][ICSE][2011][paper] >本稿では,2011 年 5 月 21 日から 28 日まで,アメリカのハワイ州ホノルルにて開催された第 33 回ソフトウェア工学国際会議 (33rd International Conference on Software Engineering) および併設ワークショップについて紹介する. This paper reports major topics of the 33rd International Conference on Software Engineering (ICSE2011) and co-located workshops held in May 2011 in Honolulu, Hawaii, USA.

[paper][林晋][type_theory][computer_science][software_science][IPSJ][programming_language][programming][logic][functional_programming][applied_mathematics] >ほとんどの高級プログラミング言語は，型の概念をもっている． たとえば，Pascal，Cらでは変数を宣言するときには，その型を指定しなければならない． これらの言語では変数は，概念的にはメモリの一部分の指定された場所を表す名前であり，コンパイルを行う際，それぞれの変数に，どれだけも広さの場所を割りふるべきかを知らねばならないので変数の型により，必要な広さを計算しなければならないからである． これに反して，LISPや関数型言語では，変数はデータ(値)を表す名前であり，データは，S式や関数のようにサイズに制限がないのでヒープ上におかれ，変数には，そのデータへのポインタのみがおかれる． このため上記のような変数の型宣言を行う必要はない． このため，関数型言語での型の使われ型は，CやPascalでの型の使われ方とは，かなり異なっている． …

[2006][huscap][bulltein][mathematics][geometric_function][function][analysis] >超幾何関数は冪関数に毛が生えたものである. このことを色々な方面から観察しつつ超幾何関数の基本事項を順次述べる. 冪関数による「写像」の超幾何版が黒写像となるのである.

[2005][huscap][lecture][note][study][information_theory][mathematics][Creative_Commons_license][by_nc_sa] >HUSCAPに登録済みの2004年度版「情報理論講義ノート」の改訂版です。講義スライドも同時に利用できます。 …

[2007][graph_theory][mathematics][lecture][document][study][note][huscap] 2007年度版がｷﾀｰｰｰｰｰｰｰｰｰｰ!!

[2007][graph_theory][mathematics][lecture][document][study][note][huscap] 2007年度版がｷﾀｰｰｰｰｰｰｰｰｰｰ!!