研究用ソフトウェア環境の整備

しばらくBlogを休みましたが、その間に、Mac OS Snow Leopard上に関数プログラミング言語Haskellの環境の整備をしました。

Haskellは1998年版が基準になっているということで分かるように、かなり歴史がある言語になりました。コンパイラはGlasgow版のGHCが一般的です。最新版のGHC6.12.1をインストールしましたが、その道筋は単純ではありませんでした。

Blogの自己分析

Blogを始めて、ほぼ一月。明確な対象も決めないままに、いろいろなことをいろいろな形で書いてきました。自分自身のメモのようなものもあります。

最近、カテゴリーを増やして、Diaryだけでなく、「研究トピックス」、「大学関係」、「学術一般」、「情報社会」、「その他」というふうに分けてみました。これまでの全32件について、（重複がありますが）カテゴリーを見ると、この5つのカテゴリーにほぼ、均等に書いているようです。

大学教員の流動性

この時期、大学では恒例の退職教授惜別会が開かれます。今年は、われわれの研究科でお二人の先生が定年で退職されます。

大雑把に言って、研究科には30名の教授と70名の准教授・講師・助教がいます。研究科ができてから満9年、この間、これまでに8名の先生方が定年退職していますので、今年で10名ということになります。これも大雑把ですが、平均して毎年1名の教授が退職するといってよいでしょう。30名の教授で全100名の教員からなる組織で、この数はどうなのでしょうか。

シミュレーション技術と計算機科学

今日の夕方、JSTの「シミュレーション技術の革新と実用化基盤の構築」領域の打上げ会があります。7年ほど、アドバイザとしてお手伝いしました。というよりも、むしろ、各プロジェクト実施の研究者の方々から計算科学の実態をお教えいただいたように思います。これまでにも取り上げたことのある Parallelism-Oblivious Parallel Programming (POPP) という考え方が大事ではないかと思ったきっかけの一つだといえます。

プログラムのレイアウト

昔から、プログラムの表記法にはいろいろな話題が尽きません。

今でも、多くのプログラミング言語は英字、数字、記号などの文字(いわゆる、ASCII文字)で書くのがほとんどだと言ってよいでしょう。それを1次元の文字列として考えるかどうかということもあります。さすがに、今では、大昔の(いわゆる)IBMカードを重ねたカードデック(カードの束)のように、物理的に2次元(?)の形状をとることはないでしょう。

「学術」とは？

以前に「Scienceは「理科」？「科学」？」という話題で私見を述べたことがあります。また、日本学術会議も話題にしたことがあります。

"Science" の日本語訳のことを言っておきながら、「学術」を英語でどう表現するのか、私には分かっていないことに気づきました。日本学術会議の英語名は "Science Council of Japan" です。

大学における「人材育成」

昨今、「人材育成」がよく話題になります。それだけ、難しいことだということでしょう。

大学でも、あるいは学界でも「人材育成」が議論されることは多いのですが、産業界や企業におけるものとは少し違うように思えます。大学や学問の世界で、「人材を育成する」ことはどういうことなのかと考えます。大学では、よく、「人材育成」という文脈で「教育」が議論されます。「大学教員は研究に力を注ぐあまり、教育がおろそかになっているのが問題だ」というのは、人材育成という課題にとって問題だといっているのでしょう。

国際ワークショップの開催場所

われわれはほぼ毎年、研究室(まわりの関係者)で主催する国際ワークショップを開いてきています。最近は、科研費の研究課題の「双方向変換」に関わるものが多いといえます。分野によっても違うでしょうが、われわれの場合には全体で30名、内、海外からの参加者が10名〜15名といったところです。

今日の夕方から、ワークショップの場にきています。今回は海外からの参加者は19名です。
http://www.biglab.org/4th-Btrans/#links

ワークショップは国際会議と違って、研究途上のアイデアや、場合によってはすでに発表したものの紹介など、交流を深めるために有効だと思います。とくに、国内で開くときには、学生にも参加してもらって、国際的な視野をもって研究を進める刺激を得る機会にしてもらっています。

いつも話題になるのは、このようなワークショップを開く場所のことです。経費のこともありますが、運営にかかるオーバーヘッドを少なくしたいというのが一番の大きな課題です。

Scienceは「理科」？「科学」？

Scienceは「理科」でしょうか？

わが国では、小学校から高等学校までは、「物理」、「化学」、「生物」、「地学」という『科目』をまとめた「理科」という『教科』があります。大学の入学試験でも、このように『教科』と『科目』が指定されています。

英語でScienceと呼ばれる学術領域は日本語ではどのように呼ぶのでしょうか。どうやら、教育の場では「理科」と呼ぶことが多いようです。また、学術の世界でも、これら、自然科学の分野では、Scienceを「理科」と呼んでも違和感がないように受け取っておられると感じます。また、少々、理解できないのですが、「数学」は「理科」の仲間だと言うことです。数学は自然科学ではないでしょうに・・・。これは、おそらく、わが国に固有の「理科系・文科系」という分類で「理科系」に含まれるからでしょう。

「情報学」と書いたものの

昨日は、わが国の「情報学」の研究者数について書きました。

ずいぶん前に、「情報学とは」という議論が交わされました。きちんと記録をとっているわけではありません。また、そのような議論にどの程度参加したのかさえ怪しいものですが、少なくともほぼ10年前の科研費の企画調査研究の分担者として参加して議論に参加したことは覚えています。また、手元には、池田克夫氏が代表者を務められた平成12年度科研費「情報学の学問体系に関する共同研究についての企画調査」報告書があって、その中で「情報学教育推進の施策と方向：理工系情報学の担当教員について」報告をしています。昨日の記事の発端になったものです。

「情報学」の研究者数

2010月3月6日には、日本学術会議主催の「情報学シンポジウム」

http://www.scj.go.jp/ja/event/pdf/86-s-3-4.pdf

があったことに触れました。

そのときにも感じたのですが、「情報学」とはどの範囲の学問でしょうか。かなり幅広いことは多くの方々が認識しているでしょう。

「ハード」と「ソフト」

一時期、計算機(コンピュータ)のハードウェアとソフトウェアを(日本語独特の)省略形で、「ハード」と「ソフト」と呼んでいたことがあります。なんだか、背中がむず痒くなってきます。もとの英語では形容詞、カタカナ書き「日本語」ではこれを名詞として使っています。

ところが、最近では、一般社会でも「ハード」と「ソフト」が使われることが多いように思います。

科学者の行動規範とAcademic Honesty

一昨日、東京大学の133年の歴史の中で初めてという学位授与の取消しを聞いて、「知を窃(ぬす)んで地に落とす」と書きました。科学者にとっての規範が問われることは他にもありますが、あらためてその重要性に気づかされました。

本末転倒?

今日は日本学術会議で情報学シンポジウムを開きました。

http://www.scj.go.jp/ja/event/pdf/86-s-3-4.pdf

その前、午前中には情報学委員会と各分科会の合同会合をもち、さらに7つの分科会が開かれました。昨日、別の学内の会合の場でも話題になったことが、今日もまた話に出ました。「研究費と成果」の関係、目的と手段が逆転しているのではないかという懸念です。

知を窃(ぬす)んで地に落とす

まことに残念なことです。いや、大学にいる者として、情けなく思います。それ以上に、責任を感じます。東京大学で学位授与が取り消されるという、重大なことがありました。

昨年の秋から、インターネットを通じて大きな話題になっていたことです。学位授与の取消しは剽窃、英語ではplagiarismによるものです。滅多に見ることばではないのですが、分かりやすくいえば「盗用」でしょうか。まさに、「知を窃(ぬす)む」ことが大学を「地に落とした」ということです。

若手アカデミーとは?

今日は、大阪で開催された日本学術会議公開シンポジウム「若手アカデミーとは何か」

http://www.scj.go.jp/ja/event/pdf/90-s-1.pdf

に参加しました。この案内にあるように、ドイツ、オランダ、オーストリアではそれぞれの国で若手アカデミーが組織されて、活発に活動しているということです。また、ヨーロッパの40ヶ国のアカデミーの連合体ALLEA(All Europian Academies)でも、全欧で若手アカデミーを設立しようとしています。シンポジウムでは、ALLEA事務局長の講演がありました。さらに、2月にはベルリンで全世界的な若手アカデミーの設立準備の会合がありました。そこに出席した4名の若手研究者から詳しい報告がありました。

最終講義を受講して

今日は最終講義のハシゴでした。南谷崇先生

http://www.i.u-tokyo.ac.jp/news/event/100219_1.shtml

と竹内郁雄先生

http://www.i.u-tokyo.ac.jp/news/event/100219_2.shtml

でした。

内包表記と並列性忘却と

プログラムで扱う値の集合(や列)を表す表記法として、内包表記(comprehension)というものを備えているプログラミング言語があります。聞き慣れない方もおられることでしょうが、数学の集合を書き表す際に馴染みのある

{x | x ∈ A, P(x)}

のような表現法のことです。この表現は、集合Aの元xのうちで、条件Pを満たすようなxからなる集合を表すものです。

百聞は一見に如かず

2月半ばに始めたこのBlogも3月を迎えました。

慣れないことでしたので、ときには力任せに長々とした文章をかいてしまったこともあったようです。Blog全体のタイトルが殺風景だということも気になっています。なにか、キーワードがあれば書きやすいのではないかと思い、ふと、思い浮かんだのが「百聞は一見に如かず」でした。