スキップしてメイン コンテンツに移動

YAPC::Asia 2015 の感想文

これまでブログではデスマス調を用いていたけれども、推敲が要って面倒に思ったのでときどきはデアル調で書くことにする。

YAPC::Asia Tokyo 2015 が終わった。

既に終了から二ヶ月が経っているが「ブログに書くまでが YAPC」とのことで、これには期限が指定されていないので結局書かなかった昨年の分もまとめて終わらせても良かろうとて本稿を書いている。 目を開けねばいつまでも不思議の国にあるような感じで、ブログを書かねばいつまでもお祭りナノダとブンガク的怠惰的主張を述べようかとも思ったけれど、アラサー男がアリスなど引用しても薄ら寒いばかりなので止めにする。

落とし物

私的には今回最大の事件は前夜祭のちの二次会みたいなものに向かう途中の電車でマネークリップを落としたことだった。結局翌日 JR に4度ほど問合せたところ何故か渋谷駅に現金も手つかずで届けられていてことなきを得た (オモテナシはあながちでまかせとも言えないことが分かった) が、クレジットカードを再発行したために (僕はカードを一枚しか持っていないので) 一週間ほどオンラインの決済ができなかったり大変に生活に支障があった。

これまでの YAPC とのかかわり (フリーライダとして)

東京に越してきてからは毎年 YAPC::Asia に参加していた。特に熱心だったわけではなく、勤務先がスポンサーなのでチケットがただで手に入るし平日は業務扱いで参加できたからである。 2012年だったか岡山の院生だったときに旅費の補助があるというので一度 Lightning Talk (LT) をしたことがあるが、そのときを別にすれば見る方ばかりの参加だった。 ちなみにそのときの LT (動画が YouTube に上がっているが見たくないのでリンクもしない。スライドは以前のブログ記事のどこかにある) は要するに研究室の愚痴で、いかにも Perl 4 然としたコードを矯正するといった趣旨だった。

今年のトークについて

Rakudo 及び MoarVM 開発者の Jonathan Worthington 氏の "Parallelism, Concurrency, and Asynchrony in Perl 6" は Perl 6 の {並列, 平行, 非同期} 処理機能の紹介で大変に面白かった。二日目は昼過ぎから会場に向かったので現地で聴けたわけではなく、YouTube に動画が公開されてから観たのだけれども。

今年は Perl 6 のリリースが予定されておりある程度は界隈の関心を買うと思われるので、キャッチアップして簡単な解説を書くつもりでいる。先月に会社のブログの当番が回ってきたので丁度良いと思い Perl 6 の導入みたいな記事を一つ書いた。Twitter などで好意的な反応がそこそこあったが、時間をかけた割に尻切れトンボだし解説が抽象的すぎてためにならないあたり不満が残る。今の時点だと公式ドキュメントの翻訳や解説でもそれなりに価値があると思われるので、下手に構成せずに安直に進めたい。

なお以前翻訳した記事のシリーズである Perl 5 to 6 は現在もそのまま通用するので Perl 5 プログラマ向けのチュートリアルとして有益だと思う。

現地で観たトークの中では京大マイコンクラブ (KMC) の Hideaki Nagamine 氏の「PietでLISP処理系を書くのは難しい」が面白かった。 タイトルがほぼ出オチだが、画像ファイルをソースコードとする特異な難解プログラミング言語 Piet を用いて Lisp インタプリタを作ろうとしたという話。Piet インタプリタはスタック一本のプッシュダウンオートマトンのようなものなので、それに与える命令列からソース画像を逆コンパイルする手法で文字通りエンコードしていたのが大変にハッカーらしくて面白かった。結局環境がうまくキャプチャできずに字句的スコープがうまく動作しなかったという結末だったが、そもそも Piet 自体がチューリング完全ではない気がする。

僕が KMC という名前をはじめて知ったのは高専生だった頃に某氏が持ってきた「熊カレー」というゲームがきっかけだったので、大変微妙なサークルなのだと思っていたのだが、どっこい競技プログラミングガチ勢の名産地でもあったりするし、要は賢い人の頭をアイドル状態にしておくと変なものができるのだろう。

Piet 処理系についての閑話

ところで Piet の処理系として一番有名なのは多分 Perl で実装された Piet::Interpreter だが、Piet のサイトでも言及されているように白ブロック中での移動処理にバグがある。さらに悪いことにこのバグを前提として描かれた (書かれた、ではない) コードも数多くある。したがって処理系を実装しようとするときはまず正しい処理系で動くソースコードを見極めなければならない。

以前 YAP (センスの欠片もないがそのまま Yet Another Piet Interpreter の意である) という名前で Perl で自前実装してみたことがあり、この時はそのバグを再現するモードを追加したりしてコードが無用に複雑になった。ちなみに Perl プログラマが一度はかかる「Moooose はしか」に罹っていた時期に書いたので実にオブジェクト指向で実にモジュラな重量級の実装だった。 YAPC::Asia のトークを見てもう一度実装してみようと思い、それで今度は OCaml で書いた。自分で言うと馬鹿みたいだが簡潔で良い。OCaml を使ってまとまった量のコードを書いたのは始めてだが、代数的データ構造に対する強力な静的型検査がコーディング中の不安感を払拭してくれた。ここに至ってようやく僕は静的型システムの優位を認識できた。

閑話休題

最後の YAPC::Asia は「外野」として参加しても十分に実のあるカンファレンスだったことはとても良かった。うすら寒い内輪ネタもないことはないが参加者が多いので無視できた。

YAPC::Asia は Web 界隈の話題、特に運用ノウハウであるとかサービスのアーキテクチャの話題が充実していて、Perl が全く関係ないトークが過半といった印象の、最早 P の起源が摩滅しきっている点が特徴だと認識しているが、その勘定を別にしても Perl 5 から人の心が離れていると感じた。Perl 6 への注目も今年出るというだけが理由ではないだろう。

Paul Graham が云うように「良い言語には人気がなければだめだ」。今のところ Perl 5 は比較的巨大なユーザベースを持っているけれども、早ければ2010年代の終わりには発展が止まった言語になるだろうと思う。 本来の用途であったシステム管理などにはこれからも (Python といくらか競合しつつ) 利用されるだろうけれど、それは既に必要なものが揃っているからであって新しい用途に開いているからではない。

これから Perl 6 がどれだけのユーザを繋ぎ止められるかは分からない。そこが影横たわるモルドールの国でない保証もないが、いずれにせよ Perl Monger には是非もない。

いろいろと取り留めもなく述べたけれどこれでおしまい。

コメント

このブログの人気の投稿

Perl 5 to 6 - コンテキスト

2011-02-27: コメント欄で既に改訂された仕様の指摘がありました ので一部補足しました。 id:uasi に感謝します。 これはMoritz Lenz氏のWebサイト Perlgeek.de で公開されているブログ記事 "Perl 5 to 6" Lesson 06 - Contexts の日本語訳です。 原文は Creative Commons Attribution 3.0 Germany に基づいて公開されています。 本エントリには Creative Commons Attribution 3.0 Unported を適用します。 Original text: Copyright© 2008-2010 Moritz Lenz Japanese translation: Copyright© 2011 SATOH Koichi NAME "Perl 5 to 6" Lesson 06 - コンテキスト SYNOPSIS my @a = <a b c> my $x = @a; say $x[2]; # c say (~2).WHAT # Str() say +@a; # 3 if @a < 10 { say "short array"; } DESCRIPTION 次のように書いたとき、 $x = @a Perl5では $x は @a より少ない情報—— @a の要素数だけ——しか持ちません。 すべての情報を保存しておくためには明示的にリファレンスを取る必要があります: $x = \@a Perl6ではこれらは反対になります: デフォルトでは何も失うことなく、スカラ変数は配列を単に格納します。 これは一般要素コンテキスト(Perl5で scalar と呼ばれていたもの)及びより特化された数値、整数、文字列コンテキストの導入によって可能となりました。無効コンテキストとリストコンテキストは変更されていません。 特別な構文でコンテキストを強制できます。 構文 コンテキスト ~stuff 文字列 ?stuff 真理値 +stuff ...

多分週刊チラシの裏 (Sep 28 - Oct 04, 2020)

Chrome Web Store が有料 Chrome 拡張の取扱を終了 Chrome Web Store で提供されている有料 Chrome 拡張及びアプリ内課金 API の両方が 2021 年 1 月いっぱいで廃止される。 開発者はそれまでに代替となるサードパーティの課金 API に移行し、購入済ライセンスの移行手段も用意する必要がある。 この決定の発表時点で新規の有料ないしアプリ内課金のある Chrome 拡張の新規登録は終了している。実際のところ 2020 年 3 月時点で既に「一時的に」停止されており、その措置が恒久化されただけとの由。 シェルスクリプティングには長いオプションを使え 「短いオプション (e.g., -x ) はコマンドライン上での略記である。スクリプトにおいては自分や将来の同僚のためにも長いオプション (e.g., ---do-something ) を与える方が理解が容易だろう」という主張。 異論の余地なく正論である。 CobWeb - COBOL to WebAssembly Compiler COBOL から WebAssembly へのコンパイラ。いやマジで。 Cloudflare が何を思ったか同社のサーバレス環境である Workers に COBOL 対応を追加した際 の成果物である。 COBOL から C へのトランスレータである GNU COBOL と C コードをコンパイルして WebAssembly を出力する Emscripten から成っており、他の言語に比べて軽量なバイナリを生成するとのこと。 「ウチではそんな風にはやらないんだ (“We don’t do that here”)」 昨今ソフトウェア開発のコミュニティでも Code of Conduct を用意するところが増えてきたが、コミュニティの文化を明文化するのは難しい。 長大な「べからず集」は息苦しいし、肯定的なガイドラインは時に抽象的で実効的に使えない。問題となるようなふるまいの動機が善意であった場合は特にそうだ。 仮に優れたガイドラインがあっても、それに基いて人を実際に咎めるのは骨が折れることである。初中やればコミュニティ内でも疎まれる。 話の分かる相手ならそれでもまだ説得する意義もあるが、Web 上の対話で当事者双方が納得し合っ...

多分週刊チラシの裏 (Oct 19, 2020 - Feb 26, 2021)

週刊とは言ったが毎週刊とは言ってないという言い訳。 C++ のコンパイルを高速化する小技 ビルドシステムやツールを変更せずともコーディングだけで改善できるコンパイル時間短縮テクニック。 #include を減らす インライン化を明示的に避ける 関数オーバーロードの可視性を制限する 公開シンボルを減らす の 4 本。 歯医者で歯を治したら記憶能力を失った話 歯医者で簡単な治療を受けた日から後、記憶が 90 分しか保持できなくなった英国の軍人の話。まるで「博士の愛した数式」だが実話である。 DRPK で売られていた Sim City っぽいゲームのリバースエンジニアリング 平壌市内のアプリストア (物理) で売られていた Sim City 風ゲームがインストールに失敗してライセンス認証で止まってしまったのでなんとか動かせないものかとリバースエンジニアリングしてみた話。 日本にあっては DPRK のデジタル事情というと 3G セルラーが現役とか国内 Web サイトのリストがポスター一枚に収まるとか何故かコンピュータ将棋の古豪とかの断片的な情報が伝え聞かれる程度だが、近頃は Android タブレットでゲームなどもできるらしい。 国内のインフラ及びエコシステム事情に合わせて元々フリーミアム + アプリ内課金モデルだったものが買い切り 5,000 KPW (< 1 USD) になっているなど、我々が失った自由が我々よりも不自由な (はずだと我々が信じている) 国に残存しているのは皮肉だろうか。 typosquatting は単なる typo じゃ済まない typo を狙って人気のあるドメインやソフトウェアに類似した名前をつける手法 (typosquatting) は人を辟易させるのみならずセキュリティの脅威である。 IQT が 2017 年から 2020 年にかけて Python ライブラリの中央リポジトリである PyPI において行った調査で、メジャーなライブラリに名前を似せたマルウェアが 40 個確認されたとのこと。 その内 16 個が単純なスペルミス狙い (e.g., “urlib3” vs. “urllib3”) で、26 個は正当なパッケージと混同するような名前 (e.g., “nmap-python” vs. “pytho...

(multi-)term-mode に dirtrack させる zsh の設定

TL;DR .zshrc に以下を書けば良い: # Enable dirtrack on (multi-)term-mode. if [[ " $TERM " = eterm * ]]; then chpwd() { printf '\032/%s\n' " $PWD " } fi 追記 (May 14, 2025): oh-my-zsh を使っていれば emacs プラグインが勝手にやってくれる: plugins = ( emacs ) 仔細 term-mode は Emacs 本体に付属する端末エミュレータである。基本的には Emacs 内でシェルを起動するために使うもので、古い shell-mode よりも端末に近い動きをするので便利なのだが、一つ問題がある。シェル内でディレクトリを移動しても Emacs バッファの PWD がそのままでは追従しない点だ。 こういう追従を Emacs では Directory Tracking (dirtrack) と呼んだりするが、 shell-mode や eshell ではデフォルトで提供しているのに term-mode だけそうではない。 要するにシェル内で cd してもバッファの PWD は開いた時点のもの (基本的には直前にアクティヴだったバッファの PWD を継承する) のままなので、移動したつもりで C-x C-f などをするとパスが違ってアレっとなることになる。 実は term-mode にも dirtrack 機能自体は存在しているのだが、これは シェルがディレクトリ移動を伴うコマンドを実行したときに特定のエスケープシーケンスを含んだ行を印字することで Emacs 側に通知するという仕組み になっている。 Emacs と同じく GNU プロジェクトの成果物である bash は Emacs 内での動作を検出すると自動的にこのような挙動を取るが、zsh は Emacs の事情なんか知ったことではないので手動で設定する必要がある。 まずもって「ディレクトリ移動のコマンドをフックする」必要がある訳だが、zsh の場合これは簡単で cd / pushd / popd のようなディレクトリ...

Perl 5 to 6 - 基本制御構造

これはMoritz Lenz氏のWebサイト Perlgeek.de で公開されているブログ記事 "Perl 5 to 6" Lesson 03 - Basic Control Structures の日本語訳です。 原文は Creative Commons Attribution 3.0 Germany に基づいて公開されています。 本エントリには Creative Commons Attribution 3.0 Unported を適用します。 Original text: Copyright© 2008-2010 Moritz Lenz Japanese translation: Copyright© 2011 SATOH Koichi NAME "Perl 5 to 6" Lesson 03 - 基本制御構造 SYNOPSIS if $percent > 100 { say "weird mathematics"; } for 1..3 { # $_をループ変数として使う say 2 * $_; } for 1..3 -> $x { # 明示的なループ変数を使う say 2 * $x; } while $stuff.is_wrong { $stuff.try_to_make_right; } die "Access denied" unless $password eq "Secret"; DESCRIPTION ほとんどのPerl5の制御構造はPerl 6でもよく似ています。 一番大きな見た目の変化は if 、 while 、 for などの後にカッコが必要なくなったことです。 正確には、条件をカッコで囲むのは非推奨です。 分岐 if はほとんど変わっていません。相変わらず elsif や else の節を付けることができます。 unless もありますが、 else 節を付けることができなくなりました。 if $sheep == 0 { say "How boring"; } elsif $sheep == ...