\nThis event is the first oc
casion of the online meeting\; for who live or stay in
\nHowever\, you can join the meeting whenever you please\, in Japanese Standard Time (JST)\ , which is 9 hours ahead of UTC.\n
\n\nHaskell Annual Meeting Autumn 2009 (abbr. HAMA.jp 2009) will be held September 19-23 at the free node IRC channels. It is open to all. All you need is basic knowledge of Ha skell\, wishes to learn\, and a project you're excited to help with (or pro ject of your own to work on)\, finally waking up at local time where you ar e. A few people in Japan\, who will join the meeting\, maybe not going to b ed\, but still continue to talk with you\, probably.\n
\n\nThere will be lots of hacking\, some talks (informal or formal)\, and of course\, fun ! We apologize to you that we cannot serve any good food nor drink.\n
\n\nWe will create some channels for the meeting at "irc.freenode. net"\, and names of each channel have been decided. See Channels section for the channel names. Lambdabot will be stayed during the meeting. Thanks Conrad for this good proposal.\n
\n\nLogs of each channel will be kept and published at the organizer's blog. However\, IP-address of each member has to be erased.\n
\n\nThe regis tration is not needed\; it will be described below in detail. However\, if you want to give a live talk using USTREAM.tv\, slides or messages\, please contact the organizer. We are pleased to reserve a session for your presen tation or kindly messages. The address of the organizer will be written at the Contact section. \n
\n\n\nThe channel names on irc.freenode.net have been decided. \n
\ n\nSchedule has been changed: Talk1 will start at 13:30.\n
\n\nProgram has been announced.\n
\nWe propose two Haskell problems to share the same to pics with us.
The first announce as a dr aft.
\nThe registration is not needed. The event is an online meeting at IR C channel of freenode at some channels. Names of each channel will be annou nced later at this web page. \n
\n\n\nSeptember 19-22\, 2009\, 10 a.m. - 10 p.m\, JST\, GMT+9. The la st day September 23\, we will plan to closing session\, for planning the me eting in next year and meeting for reviewing 3 p.m - half of 4 p.m\, JST\, GMT+9.\n
\n\nEvent time-lines and program will be fixed this web page before September 6. \n
\n| date (GMT) | \n01:00 - 02:30 (GMT) | \n06:00 - 07:30 (GMT) | \n10:00 - 12:30 (GMT)\n | later until 01:00 (GMT) | \n
|---|---|---|---|---|
| 2009-09-19 (GMT) | Opening session | Session for newbies | Questions and Ans wers about programming in Haskell | Night session for Japanese and Yo u | \n
| 2009-09-20 (GMT) | How to start your project in Haskell (about the latest Cabal\, Haskell Platform and etc.) | Ta lks 1 will start at 04:30(GMT). | Talks 2 | Ni ght session for Japanese and You | \n
| 2009-09-21 (GMT) | Reserved | Reserved | Reserved | Reserved | \n\n
| 2009-09-22 (GMT) | Free discussion | How to debug and test in Haskell | Free discussion | Night session for Japa nese and You | \n
| 2009-09-23 (GMT) | Final lighteni ng talks & Closing session | Business meeting | \ n |
\nSome or All talks will be given in Japanese. However\, we will try to our best for tra nslating in English about each talk at the IRC channel. Don't hesitate to a bout asking a question\, please.\n
\nkeigoi
Type level programming in Haskell and its applicati on
keigoi will give an introduction to type-level programming in Haskell and its advantage of strong type safety. Also he will present an implementation of the session types. As an applicat ion\, an implementation of an SMTP client using type-level programming will be appeared. He may introduction another topics about HaskellDB and Takuse n.
smly
How to compress data in Haskell
A case study of how to enjoy compressed data in Haskell.
Sakai
Introduction to cate gorical programming
\n\nTBA. The following papers and an theoretical webpage will be introduced.\n
\n\n\nWe discuss on the IRC server 'irc.freenode.net'. There are som e channels for this event. However\, we have not decided the prefix of name of each channel.\n
\n\nLogs at each channel will be published at somewh ere.\n
\n\n\nMany attend ees live in Japan. You do not need to v isit Japan\, because this meet ing is online.\n
\n\n\nFor
any questions\, you can always send an email to IKEGAMI Daisuke\, who is o
ne of the organizers. The address is "ikegami.da" ++ chr 64 ++ "gmail
.com". Please do not hesitate to ask your question about this meetin
g.\n
\nThe below is written in Japanese about the same things\, and you do not have to read them. Unfortunately\, you cannot write a comment at the bottom of this page\, because you have to do several complex steps\, which is written only Japanese... Otherwise could you send an email to the organizer\, please.\n
\n\n\nWe propose two Haskell assignments fo r you\, who has no own project. One is to create an IRC bot in Haskell. Ano ther is several questions of a combinatorial problem\, called 'finding the minimum spanning tree from a graph'. \n
\n\nThe aim of this proposal is to share topics with us. Therefore\, you do not have to complete nor sub mit your exercise to us. Please do your work instead and join our meeting f reely. By the way\, we are going to show the following two jobs:\n
\n\n\n\nThis project is simple: create an IRC bot and run it on 'irc.freenode.net'.\n
\n\nNote that please do not run an incomplete bot on the public network 'irc.freenode.net'. Instead\, run a n IRC server on your computer\, and test enough to rely entirely your bot\, please.\n
\n\nDuring this meeting\, we will provide a channel for ou r bots\, and discuss about features and techniques.\n
\n\nNotice agai n: The lambdabot\, w hich is made by Don Stewart\, will stay every channel. You do not need to make it. Please keep the following manners:\n
\n\nDuring the meeting\, you can stay your bot at only #HAMA-bots. \n
\n\n\nThe minimum spanni ng tree problem is a well-known problem in graph theory. \n
\n\nThe scope of this problem is how to write a procedual alg orithm in Haskell as fast as in another language\, such as C. \n
\n\n\nHere\, we quote wo rds of Zen in Japanese.\n
\n前三三後三三
\n\n前三三後三三 is a composite Chinese Kanji word which means we are brim ful of hope. This is the final quotation for this event. \n
\n\n本来無一物
\n\ n\n\n本来無一物 is a composite Chinese Kanji word in a poem. The poem is very p opular in Zen\, because it represents the foundation of Zen. The meaning is 'Everything come out of nothing\, really!' Zen does not apply any logic no r experience for dogma\, but Zen has only one doctrine : Zen Buddhist has t o ignore evidence\, instead be impressed by nature. We choose this word fif th since we believe programmer and non-programmer will join us at the event .\n
\n
\n一期一会< /strong>\n
\n\n\n\n一期一会 is a composite Kanji word and prono unced 'ichi go ichi e' in Japanese. '一' means the one\, '期' a chance\, and '会' a meet\, respectively. This word is very popular in Japan\, and transla ted as 'We have a chance to meet at once.' In 2009\, this event makes a cha nce to meet several Japanese Haskell programmers and many beginners. The Ze n word does not mean 'Opportunity knocks only once'\, but\, I say\, this ev ent is an occasion to extend activity of Haskell community in Japan.\n
\ n
\n惺々著\ n
\n\n\n\n惺々著 is a composite Kanji word in Chinese and pron ounced "sei sei jaku" in Japanese. They have three Kanji characters\; '惺'\, '々'\, and '著'. Since '々' is the special character which is adjective and means the previous Kanji character repeatedly\, we see the word as another word '惺惺著' that has only two characters. '惺' means 'Wake up'\, on t he other hand\, '著' is the emphasis word. Finally\, we can translate '惺々著' as 'Wake up! Devote yourself!' We choose the word thirdly\, because the dea dline of a proposal of this event is the next sunday in JST. Please send yo ur comment to the organizer. Otherwise\, happy Haskell hacking!\n
\n\n- 7 August
\n- \n
\n当機\n
\n\n \n当機 is a composite Kanji word and pronounced "tōki". They have t wo Kanji characters\; '当' and '機'. In the sense of Zen in Japanese\, '当' me ans 'right now'\, respectively\, '機' means 'a chance'.\nThe word '当機' sugge sts that you shall get the chance right now.\n
\n\nWe choose the word secondly\, because we wish you will not miss any chance. If you find this event and decide to join\, we are welcome you\, and celebrate you with the lucky keyword '当機'.\n
\n\nOn the other hand\, '当機' is also a technica l word for the pilot of aircraft\, which means the plain. The pilo t says this word when the plain will take off\; '当機はまもなく離陸いたします。シートベルトをお締めく ださい' - translated frankly - 'The plain will take off at the airport. Fasten your safety belt\, please.'\n
\n\nNow you realize that you don't mis s the chance (i.e. this event)\, and will visit Japan via the Internet in t he next month. Von voyage!\n
\n
○
\n\n\n\n○ is pronounced "ensō" in Japanese\, which you can see this pict ure about Zen at the en.wikipedia.org. This symbol means the shape of the w orld quite simply. Because it means also the state of completeness\, we cho ose the first symbol of this event.\n
\n
\nこのイベントは終了しました。ログはIRCLogs@GoogleDocsにあるので見てね。\n
\n\nおじいちゃん、おばあちゃんを大切にしよう！それから、プログラミング言語 H askell について、発表や議論をオンラインでつなごうぜ、という催しです。初心者歓迎。秋の味覚とともに、みんなでまったりと話しあいましょう。\n
\n\n\n「Haskell って名前は聞いたことあるけど、使ったことないよ」って人から、「Haskell 大好き」って人まで、いろんな人がい るよね。そういう皆が集まって話し合うのは楽しそうだと思わない？\n
\n\nこの機会に、Haskell についての疑問や誤解が解けたり、『何か(打つゲームとか踏むゲームとかメールサーバとか)を作ったよ！とかいう発表』が あればいいと思います。あと、Haskell と関係したりしなかったりする新しい何かを掴みましょう。\n
\n\n\n参加資格なんてありません！自分のことを初心者だと思っている人も、普通の人も、そう でない人も、皆、歓迎します。二度書くけど、「このイベントに参加する」の手順を踏む必要もありません！\n
\n\n「話題についていけないよ」 とか「なにそれ日本語でok」ってことがないように、複数の会場(IRC チャンネル)を用意します。\n
\n\n皆が「礼儀正しく」、ただし、 「わからないことはすぐ聞く！」の態度を守れば、きっと共有できてなかったことが共有されるはず、と考えています。\n
\n\n\nせっかくの四連休。参加できない気持ち、わかります。後日、このイベントのログを公 開しますので、それをお読みになってくだされば。\n
\n\n\n9/20 午後の開始時間が 15:00 から 13:30 に変更になりました。\n
申 し込みくださった発表を載せました。まだ、かろうじてスロットは残っているので、喋りたい人は申し出てください。よろしくお願いします。
\nプログラムが決まりました。あと、IRC ログを保存することを 書きました。\n
\nIRC についての説明 を追加しました。それから、\nいくつかのイベントと夏休みの課題のお知らせ！
\nocaml-nagoya 夏合宿と接触しました。また、タイムテーブルを少しずつ埋めています。変更はできますので早め にお申し付けください。\n
\n\n普通の人向け のタイムテーブルを仮に埋めました。今後イベントの提案がない場合は、微調整しつつこのまま行きます。8/23 締め切りのイベントの提案や質問を引き続きお待 ちしております。\n
\nコメント欄で、皆さんの 日時調整をやりますよ、という告知をしました。\n
\n文面の修正、特に帰国子女様のための記述がなされました。\n
\n\n残念なお知らせです、タイトルロゴ(仮)が掲載されました。引き続き改悪される予定です。\n
\n\n\n最初のアナウンスです！\n
\n\nA TND のこのイベントに登録する必要はありません。ただし、このページのコメントの読み書きには登録が必要です。コメント欄では、主にスケジュール調整を行います。\n
\n\nこのイベントで発表したい人や、集会の日時に希望がある人、発表しない けど自己アピールをしたい人は、ATND のこのイベントに参加する(赤いボタン「このイベントに参加する」を押して、その指示にしたがう)必要があります。発 表したい人は、発表の手続きがあるので、最後までよく読んでね。\n
\n\nまた口頭ライブ発表を行うひとは、直前の金曜日(9/18)のリハー サルにも参加してくれると嬉しいです。できるだけ。\n
\n\nイベントの当日直前に、このページに詳細が書かれますので、また見にきてください 。具体的には、どうすれば発表を見ることができるか、議論するにはどうするか、それからスケジュール表が確定しています。\n
\n\n\n自称初心者から普通のひと向けのタイムテーブル\n
\n\n質問は随時受け付けます が、特に初日の夕方は「質問攻め」の時間を予約しました。\n
\n\n普通じゃないひと向けのタイムテーブル\n
\n| 日 | 午前(10:00-11:30) | 午後(15:00-16:30) | 夕方から晩にか けて(19:00-21:30) | 深夜から早朝にかけて | \n
|---|---|---|---|---|
| 9/18(金) | 特 になし | 特になし | オンライン発表リハーサル | Eve of the festival | \n\n
| 9/19(土) | Opening | 皆の質問に答えてください | 皆の質問に答えて ください | Night session | \n
| 9/20(日) | Free disc ussion | Talks(13:30-) | Talks | Night s ession | \n
| 9/21(月):敬老の日 | Reserved | Reserve d | Reserved | Night session | \n
| 9/22(火):国民の 休日 | Free Discussion | How to debug and test in Haskell | Technical lightening talks | 寝ましょう。 | \n
| 9/23(水):秋 分の日 | Final lightening talks & Closing session | Meeting for re viewing (post event evaluation) and planning for this event in the next yea r | \n |
\nふたつのタイムテーブルは独立していなくて、同時並行で行 われます。だから、ついていけなくなる前に質問を！わかってる人は質問に答えてくれるボランティア精神をよろしくお願いします。\n
\n\n\nどこかに集まるわけではありません。が、団体発表される方々はお好きなところにお 集まりください。\n
\n\nもしも、日時や場所をこのページで通知したければ、ATND のこのイベントに参加する手順を踏んだ上で、コメント を書けばいいです。コメントは、書いた人が編集したり削除したりできます。\n
\n\nあるいは、制作委員会にメールをくだされば、このページを 編集します。\n
\n\nkeigoi
Haskellによる型レベルプログラミングと、その応用例で型付きDSLの実装について
Haskellによる型レベルプログラミングと、その応用例で\n型付きDSLの実装について話した いと思います。具体的には、セッション型の実装と型安全な(?)SMTPクライアントの例を出します。\nできれば、その他の話題(HaskellDBやTak usenとか)にも触れます。
smly
< /dd>\nHaskellで圧縮
圧 縮されたデータを Haskell で処理する際のケーススタディ
Sakai
\nCategorical Programming について紹介
\n\n予定している元ネタ:\n
\n\n\n\n\nまだ何も聞いてないよ！\n
\n\n\nIRC サーバは "irc.freenode.net" を使います。チャンネルは複数作り ます。\n
\n\nみんな(帰国子女さまも含む)が集まる最初の場所。最初の日の 最初のタイムテーブルで、簡単な自己紹介をしてもらいます。自己紹介したくない人は、一言 'pass' とつぶやいてくれればいいです。\n
\n\nその後は、帰国子女様(がくれば)との交流の場所になります。とくに、Night session でこの場所を使います。\n
\n\n日本語みたいな日本語で会話する場所。帰国子女様には申し訳ありません。\n
\n\n自分は初心者だ! という方、および質問に答えてくれるボランティアの方がたむろう 場所です。ボランティア急募。\n
\n\nまたーり雑談する。Has kell に限らず、どんな話題でもどうぞ。\n
\n\nこのイベ ントの運営者が常駐しています。なんかやっかいそうな人とか、トラブルなどがおきたら、ここに報告してください。\n
\n\nIRC で発表する人のためのチャンネルです。+v で発表者のみが喋ります。その他の皆さんは、こ の部屋に join して、発表を聞きます。質疑応答は、#HAMAYA や #HAMAYA-jp でおねがいします。\n
\n\nこのページで告知した夏休みの宿題の bot が集まる場所です。ここ以外に自作 bot は join しないでほしいです。ご協力お願いします。\n
\n\nその他、この期間内のイベント(ウェブアプリ制 作部隊とか)をやりたい人は #HAMAYA-name_of_event を勝手に作っていただいて構いません。Lambda bot が必要なら、出張しま す。\n
\n\n後日、IRC channel のログは公開する予定です。ただし、皆様の IP address は削除します(IRC の仕 様で、IP address は逆引きされて表示されてしまいます)。また、不適当なログは制作委員会のほうで適当に編集されます。あらかじめご了承ください。 匿名希望の方は、匿名 nick と怪しいネットワーク経由でお越し下さい。保存場所は、まだ決まっていません。\n
\n\nもしくは、Haskell Platformの人柱になる (お勧めはしません)
\n以上を用意してください。\nIRC (Inte rnet Relay Chat) についてわからない子は、自分で調べてね。 UTF-8 を使うことができる IRC クライアントを用意してください。\n
\n\nIRC のサーバ名ならびにチャンネル名は、イベント間近に、このページで発表します。< a href="#IRC_ja">IRCサーバとチャンネルの項目をお読みください。\n
\n\n\n発表したい人、団体は ATND の「このイベントに参加する」の手続きを踏んでください。また 、発表申し込みフォームを制作委員会にメールで提出してください。発表申し込みフォームは、この下に書いてあります。提出期限は 8/23(日) です。面倒だ けど許してね。\n
\n\n発表申し込みは締め切りましたが、駆け込みで喋りたい人は、こちらに言ってもらえればなんとかします。\n
\ n\n発表の方法は大きく分けて、2 種類を考えています:\n
\n\nライブ口頭発表は、あらかじめスケジュールに時間を割り当てます。\n
\n\n資料による発表は、発表者の資料へのリンクをこのページに作ります。イベントの間、いつでも IRC でみんなと議論することができます 。\n
\n\n\nメールの Subject に "HAMA.jp 2009" と書いてくれると大変助かるのでよろしくお願いします。\n
\n\n長 い名前などは、制作委員会が短くする場合があります。あらかじめご了承ください。\n
\n\n\n発表フォームに収まらないイベントの提案などありましたら、制作委員会にメールを出すか、あるいはこのページのコ メントを書いてください。コメントを書くには、ATND の「このイベントに参加する」手続きを踏む必要があります。\n
\n\n\n提案されたイベントの一覧です。一人ででも、団体ででも取り組んでください！イベン トはもうすでに始まっています。９月まで待たずにどんどん進めちゃいましょう！\n
\n\nメンバーとの連絡や、具体的 になにをするかなどは、Haskell-jp Wiki の HAMA.jp 2009 のページを利用してください。Haskell-jp Wiki を運営して下さる方に感謝します。\n
\n\n\n同時期に開催されるイベントがありましたら、私たちは喜んで協力したいと考えています(※ただし、プログラミングに関すること、あるいは Ha skell に限る)。タイムテーブルの変更も考えます。制作委員会までご連絡ください。\n
\n\n当日付近のイベントは、はなずきん様の作成 されている IT 勉強会カレンダーでご確認ください。はなずきん様には、スケジュ ール表を作っていただいて感謝しております。\n
\n\nocaml-nagoya 夏合宿と日程が重なったため、交流のための日時などを交渉し ています。プログラムが確定するまえなら、他のイベントとの交流も可能ですので、制作委員会までご連絡ください。\n
\n\nなお、このイベント が終わると、次は Implementati on and Application of Functional Programming (IFL) 2009 が始まります！\n
\n \n\nメイルあどれす ikegami.da アーッ と gmail.com まで。\nいただいたメールアドレスは、このイベントの目的のみに使います。\n
\n\nこのページのコメントはこまめ に見るつもりですが、反応は遅れる可能性があります。\n
\n\nTwitter や、Skype、MSN などは発表申し込みをしたことになり ません。メールで！\n
\n\n\ nコメントの読み書きには、ATND の「このイベントに参加する」手続きが必須です。まったりとコメントを書いてください。\n
\n\n\nHaskell 秋の例会は 9 月ですが、それまで待ちきれな いあなたのために、ふたつの課題を制作委員会が提案します。答えの提出義務はないので、気楽に取り組んで ください。また、すでに個人のプロジェクトを持っている方はそれを優先すればいいです。複数人で取り組みたくなったら、イベントとして提案してください。\n
\n\nもちろん、参加するひとの義務でもなんでもないです。ただ、「暇だなーっ、だけど 何していいかよくわかんない」っていう人に何かあげたかったんだ。それだけ。このイベント(HAMA.jp 2009)自体は 初心者大歓迎です。課題をやらない人も、イベント当日近辺にこのページをもう一度見ればいい。\n
\n\n\nこの課題を行うには、守っていただきたい条件が二つあり ます。最初の一つは、プログラムを始める前に、自分のマシンに IRC サーバをインストールするということです。もう一つは一番最後に言い ます。\n
\n\n「何を言っているのか、わからないよ！」という人は、別にこの課題をやらなくてもいいです。9 月のイベントでお会いしましょ う。そのときに質問をすればいいんじゃないかなと思います。\n
\n\n自分のマシンにインストールする IRC サーバはGigazine さん の2008年01月28日の記事にある、Inspire IRCd - Th e Stable C++ Modular IRCd なんかがよいのではないかなと思います。\nこれは、Windows系\, *nix および MacOSX で動くんだそうです。なお、これをインストールして何か実害がでても当イベント制作委員会は責任をとれません。というか、ごめんなさい。\n\n
\nもちろん、 IRC サーバはいろいろな実装があるのでお好きなものを選んでいただければよいのですが。Gigazine さんの Wind ows におけるインストール手順が丁寧だったのでお借りしました。*nix や MacOSX の人は自分でなんでもするよね。\n
\n\n次 にやることは、 UTF-8 に対応した IRC クライアントを用意することです。これもまたたくさんあるので、好きなのを選べばよいかと。\ n
\n\n気をつけていただきたいのは、このクライアントで、自分のサーバに接続することです。今まで説明し てきたことは、一言でいえば、自分のマシンに IRC bot の開発環境と遊び場を作る、ということです。開発当初は、無限ループしたり、IRC のマナーを 守らない bot を作ってしまうかもしれません。これはよくあることです。ですから、まず、自分のマシンで動かしてみて大丈夫だなあ、というところまで完成し たら合格です。未完成のまま、既存の IRC ネットワークには接続しないでください。\n
\n\nHaskell 秋の年会 2009 では、 会場が主に IRC なので、皆さんが完成させた IRC bot が集う部屋を準備します。イベントまでに完成しているといいですね。あるいは、ある程度しあ げて、イベントでコメントをもらうのもありだと思います。\n
\n\nなお、IRC bot が集う部屋でも UTF-8 が用いられます。pr ivmsg や topic などの解析をするときは、文字コードにも気をつけてください。\n
\n\nとにかく、あなたのアイデア次第で面白い IRC bot を作ってみてください。もしも、困難に出会ったら、それをメモしておいて秋の年会イベントで質問すればいいと思います。\n
\n\n最後に、言い忘れていた二番目の約束を言います。IRC bot の発言は privmsg ではなく notice を使ってください 。また、あらゆる notice に対して返答してはなりません。理由は、IRC プロトコルを定めたRFC 1459 IRC プロトコルにあります 。なお、訳文はタイトルが NTICE になってしまってますが、これは NOTICE の誤りです。 \n
\n\nでは、皆さんの健闘を祈りま す。なお、Don Stewart の l ambdabot は、もうすでにいますので、それ以外の bot でお願いします。\n
\n\n上から順番に解いていくと、最後までたどりつけるような工夫はしたつもりで す。\n
\n\nデータ構造としての木を Haskell で定義してください。木とは、頂点と辺の二種類のデータからなります。\n
\n\nここで紹介した「木」の説明のうち、ページの下半分の数式は、好きな人だけ読めばいいです。\n
\n\n要するに「木」は、なんとなく確かに漢字としての木みたいな形になっていて、定義を言うと「サイ クルを持たない連結なグラフ」ということになります。何がサイクルで何が連結なグラフかを定義しだすときりがないのでやめておきます。その代わりに、木のページの図 1 から 6 までを見てください。横に ふたつ以上ならんでいる図では、その一つ一つを木だと思います。ふたつ離れた木を合わせると、くっつかない、つまり連結ではなくなってしまいます。\n
\n\nたとえば、このページの左上のロゴのλがよっつある図で、○を頂点とし、○と○を結ぶ直線を辺だとすると、これは「木」です。\n
\n< p>[余談]\n木とは何かをすでに知っているひとは GHC についてくる Data.Tree を使って もいいです。そういう子は「木」だけでなく「森」についても知っているかもしれないので、その場合はこの課題を「森」に拡張してくれていいです、がんばれ。[余談ここまで]\n\n\n実は Haskell において、データ構造としての木を定義する方法はいくつもあります。できれば一通りで はなく、複数の定義を考えてみましょう。\n
\nHaskell でグラフのデータ構造を定義する、のは容易ではない ので、代わりに GHC の標準ライブラリ Data.Graph を見て、どんなことができるか、いろいろ試しまし ょう。たとえば、どうすれば、左上のλのグラフを描くことができるでしょうか。(○を頂点と思い、直線を辺と思います)\n
\n\nこれでは物足 りないひとは、自分でグラフのデータ構造を定義してみてください。定義の方法は複数あります。できるだけ様々な定義を用意しましょう。\n
\n\n全域木とは、与えられた連結なグラフの全ての頂点をもっている木を言います。別の言葉でいうと、与えられた連結なグラフには、サイ クルがあったとしても、全域木は、そのサイクルの一部のみを使い、グラフ全部の頂点を通る(サイクルを持たない)木なのです。たとえば、左上のロゴでλが４つあ る図の○を頂点と思い直線を辺と思えば、すでに全域木になっているグラフです。なんと。\n全域木を説明しているページの□に対する全域木などの例も見ましょう。\n
\n\n
グラフから全域木をひとつみつける関数 spanningTree :: Graph -> Tree を実装しましょう。実装は一
通りではありません。時間/空間計算量の小さな関数をどうやって実装したらよいでしょうか。また、計算量の評価はどうやったらいいでしょうか？(ヒント: GHC のプロファイラを使いましょう、使わなくても理詰めで計算量を導きだすことができるかもしれません)\n
\n前の課題に戻 り、木やグラフのデータ構造を上手に定義しなおすのも手です。実はこの課題は、データ構造がアルゴリズムと密接に関係がある例なのです。\n
\n\n\n次は、グラフが与えられたときに、各辺に非負整数をくっつける関数 weightedGraph :: Graph
-> [Word] -> WeightedGraph を作りましょう。そのためには、データ構造 WeightedGraph を作らなけ
ればなりません。また、関数 weightedGraph は、二番目の引数 [Word] が一番目の引数 Graph の辺の順番の付け方と一致していない
と意味がないことに注意してください。Graph の枝の順番はどうやってつければいいでしょうか？\n
\nなお Word は、GHC の標準ライブラリ Data.Word にあり、Word は非負整数を表します。データ構造 WeightedGraph の定義は 一通りとは限りません。頭を柔らかくして臨みましょう。\n
\n minimumSpanningTree :: WeightedGraph -> Tree を作りましょう。\n
\n\n
\n関数 minimumSpanningTree :: WeightedGraph -> Tree の実
装もまた一通りではありません。時間/空間計算量の小さな関数をどうやって実装したらよいでしょうか。また、計算量の評価はどうやったらいいでしょうか？\n<
/p>\n
\n次は、Haskell 独特の手法を用います。並行 計算に使う関数 parと、ghc に与える引数 -threaded を用いて、並行 計算で 関数 spanningTree および minimumSpanningTree を実装してください。core が二つ以上ないと面白くないですが 、dual core などのマシンを持ってるひとは、ぜひ試してみてください。計算量に違いは現れるでしょうか。なお、HaskellWiki に簡単なサンプルがありますので、そちらを読むのもお勧めします。\n
\n\n最後に、これは今までの課題とは無関係ですが、複数の実装があったときの計算量を視覚化する試みを行ってみてください。カラフルなグラフ などができあがると望ましいです。この課題の評価はヒューマンインターフェースからの観点とユーザビリティの観点の二つがなされます。\n
\n\nなお、この課題はきわめて数学的に見えますが、その応用は幅広く、知っておいて損はないことだらけだ、と制作委員会は考えました 。数学嫌いな子も英語嫌いな子も、格闘してくれると嬉しいです。\n
\n\n「何を言っているのか、わからないよ！」という人は、別にこの課題を やらなくてもいいです。9 月のイベントでお会いしましょう。そのときに質問をすればいいんじゃないかなと思います。\n
\n\nこれ以上課題が 増えることはありません！安心してください。それでは、秋のイベントでお会いしましょう。このページはちょくちょく更新されますので、たまに訪れるなりするとい いと思います。\n
\n\n前三三後三三
\n\n\n\n「三三」 とは、満ち足りている様を言う。此れ、即ち、我々は全面に満ち足りており、不足のないことを意味する。Haskell も Haskell でないものも、満ち 足りていることを体感せよ。\n
\n\nHAMA.jp に参加者が限りなく訪れ、満ち足りますよう。\n
\n\n『碧巌録』より 抜粋。\n
\n
本来 無一物
\n\n\n\n本来無一物である。Haskell も Haskell でないものにも打ち込む べし。何処惹塵埃。\n
\n\n『六祖壇経』より引用。\n
\n
一期一会
\n\n\n\n皆と一緒 に Haskell で遊ぶことができるのは、この連休しかないのかもしれません。\n
\n
惺々著
\n\n\n\n「起きてい るか！」常に刃を研がねば、その刀は用を為さず。\n
\n\n公案集『無門関』より引用。\n
\n
\n当機\n
\n\n
\n\n\n< dt>昭和八十四年八月三日\n\n当機を逸すること勿れ。感覚を失して即断実行すべからず。耳で見よ、目で聞け。一喝。\n
\n
\n○\n
\n\n< a href="http://ja.wikipedia.org/wiki/%E5%86%86%E7%9B%B8">円相に、自らの不足を見よ