From 6209453817da9922f28bac1bb1522c6d380630ab Mon Sep 17 00:00:00 2001 From: nsfisis Date: Sat, 19 Nov 2022 14:23:32 +0900 Subject: Hugo to Asciidoctor --- docs/tags/conference/feed.xml | 944 ------------------- docs/tags/conference/index.html | 92 -- docs/tags/conference/page/1/index.html | 10 - docs/tags/cpp/feed.xml | 89 -- docs/tags/cpp/index.html | 56 -- docs/tags/cpp/page/1/index.html | 10 - docs/tags/cpp17/feed.xml | 89 -- docs/tags/cpp17/index.html | 56 -- docs/tags/cpp17/page/1/index.html | 10 - docs/tags/feed.xml | 137 --- docs/tags/index.html | 44 - docs/tags/my-programs/feed.xml | 62 -- docs/tags/my-programs/index.html | 56 -- docs/tags/my-programs/page/1/index.html | 10 - docs/tags/note-to-self/feed.xml | 123 --- docs/tags/note-to-self/index.html | 57 -- docs/tags/note-to-self/page/1/index.html | 10 - docs/tags/page/1/index.html | 10 - docs/tags/php/feed.xml | 1493 ------------------------------ docs/tags/php/index.html | 117 --- docs/tags/php/page/1/index.html | 10 - docs/tags/phpcon/feed.xml | 61 -- docs/tags/phpcon/index.html | 56 -- docs/tags/phpcon/page/1/index.html | 10 - docs/tags/phperkaigi/feed.xml | 974 ------------------- docs/tags/phperkaigi/index.html | 93 -- docs/tags/phperkaigi/page/1/index.html | 10 - docs/tags/python/feed.xml | 57 -- docs/tags/python/index.html | 56 -- docs/tags/python/page/1/index.html | 10 - docs/tags/python3/feed.xml | 57 -- docs/tags/python3/index.html | 56 -- docs/tags/python3/page/1/index.html | 10 - docs/tags/ruby/feed.xml | 230 ----- docs/tags/ruby/index.html | 68 -- docs/tags/ruby/page/1/index.html | 10 - docs/tags/ruby3/feed.xml | 155 ---- docs/tags/ruby3/index.html | 56 -- docs/tags/ruby3/page/1/index.html | 10 - docs/tags/rust/feed.xml | 143 --- docs/tags/rust/index.html | 56 -- docs/tags/rust/page/1/index.html | 10 - docs/tags/vim/feed.xml | 191 ---- docs/tags/vim/index.html | 68 -- docs/tags/vim/page/1/index.html | 10 - 45 files changed, 5942 deletions(-) delete mode 100644 docs/tags/conference/feed.xml delete mode 100644 docs/tags/conference/index.html delete mode 100644 docs/tags/conference/page/1/index.html delete mode 100644 docs/tags/cpp/feed.xml delete mode 100644 docs/tags/cpp/index.html delete mode 100644 docs/tags/cpp/page/1/index.html delete mode 100644 docs/tags/cpp17/feed.xml delete mode 100644 docs/tags/cpp17/index.html delete mode 100644 docs/tags/cpp17/page/1/index.html delete mode 100644 docs/tags/feed.xml delete mode 100644 docs/tags/index.html delete mode 100644 docs/tags/my-programs/feed.xml delete mode 100644 docs/tags/my-programs/index.html delete mode 100644 docs/tags/my-programs/page/1/index.html delete mode 100644 docs/tags/note-to-self/feed.xml delete mode 100644 docs/tags/note-to-self/index.html delete mode 100644 docs/tags/note-to-self/page/1/index.html delete mode 100644 docs/tags/page/1/index.html delete mode 100644 docs/tags/php/feed.xml delete mode 100644 docs/tags/php/index.html delete mode 100644 docs/tags/php/page/1/index.html delete mode 100644 docs/tags/phpcon/feed.xml delete mode 100644 docs/tags/phpcon/index.html delete mode 100644 docs/tags/phpcon/page/1/index.html delete mode 100644 docs/tags/phperkaigi/feed.xml delete mode 100644 docs/tags/phperkaigi/index.html delete mode 100644 docs/tags/phperkaigi/page/1/index.html delete mode 100644 docs/tags/python/feed.xml delete mode 100644 docs/tags/python/index.html delete mode 100644 docs/tags/python/page/1/index.html delete mode 100644 docs/tags/python3/feed.xml delete mode 100644 docs/tags/python3/index.html delete mode 100644 docs/tags/python3/page/1/index.html delete mode 100644 docs/tags/ruby/feed.xml delete mode 100644 docs/tags/ruby/index.html delete mode 100644 docs/tags/ruby/page/1/index.html delete mode 100644 docs/tags/ruby3/feed.xml delete mode 100644 docs/tags/ruby3/index.html delete mode 100644 docs/tags/ruby3/page/1/index.html delete mode 100644 docs/tags/rust/feed.xml delete mode 100644 docs/tags/rust/index.html delete mode 100644 docs/tags/rust/page/1/index.html delete mode 100644 docs/tags/vim/feed.xml delete mode 100644 docs/tags/vim/index.html delete mode 100644 docs/tags/vim/page/1/index.html (limited to 'docs/tags') diff --git a/docs/tags/conference/feed.xml b/docs/tags/conference/feed.xml deleted file mode 100644 index f536cbb..0000000 --- a/docs/tags/conference/feed.xml +++ /dev/null @@ -1,944 +0,0 @@ - - - - conference on REPL: Rest-Eat-Program Loop - https://blog.nsfisis.dev/tags/conference/ - Recent content in conference on REPL: Rest-Eat-Program Loop - Hugo -- gohugo.io - ja-JP - Sat, 27 Aug 2022 18:55:28 +0900 - - PHP カンファレンス沖縄で出題されたコードゴルフの問題を解いてみた - https://blog.nsfisis.dev/posts/2022-08-27/php-conference-okinawa-code-golf/ - Sat, 27 Aug 2022 18:55:28 +0900 - - https://blog.nsfisis.dev/posts/2022-08-27/php-conference-okinawa-code-golf/ - はじめに -

本日 PHP カンファレンス沖縄 2022 が開催された (らしい)。

-

カンファレンスには参加できなかったものの、懇親会の LT で出題されたコードゴルフの問題が Twitter に流れてきたので、解いてみた。

-

ツイート: https://twitter.com/m3m0r7/status/1563397620231712772
-スライド: https://speakerdeck.com/memory1994/php-conference-okinawa-2022-extra?slide=3

-

解

-

細かいレギュレーションは不明だったので、勝手に定めた。

-
    -
  • コマンドライン引数の第1引数で受けとる
    • -
  • 結果は標準出力に出す
    • -
  • コンマの直後にはスペースを1つ置く
    • -
  • 末尾コンマは禁止
    • -
  • 数字でないものは入ってこないものとする
    • -
  • 負数は入ってこないものとする
    • -
-

書いたものがこちら:

-
[<?php $n=$argv[1];foreach([1e4,5e3,2e3,1e3,500,100,50,10,5,1]as$x)for(;$n>=$x;$n-=$x)$r[]=$x;echo implode(', ',$r??[]);?>]
-

しめて 123 バイトとなった (末尾改行を含めずにカウント)。

-

こちらは改行とスペースを追加したバージョン:

-
[<?php
-
-$n = $argv[1];
-foreach ([1e4, 5e3, 2e3, 1e3, 500, 100, 50, 10, 5, 1] as $x)
-  for (; $n >= $x; $n -= $x)
-    $r[] = $x;
-echo implode(', ', $r ?? []);
-
-?>]
-

使用したテクニック

-

指数表記

-

割と多くの言語のゴルフで使えるテクニック。e を用いた指数表記で、大きな数を短く表す。このコードでは 10000、5000、2000、1000 を指数表記している。

-

foreach や for の中身を1つの文に

-

foreach、for、if などの後ろには、通常 { を続けて複数の文を連ねるが、中身の文を1つにしてしまえば、{ と } を省略できる。C言語などでも使える。

-

$r に初期値を入れない

-

PHP では、$r[] = ... のような配列の末尾に追加する式を実行したとき、$r が未定義だった場合は $r を勝手に定義して空の配列で初期化してくれる。これを利用すると、$r = []; のような初期化が不要になる。

-

ただし、プログラムに 0 が渡されるとループを一度も回らないので、$r が未定義になってしまい、implode() に渡すところでエラーになる。それを防ぐために $r ?? [] を使っている。

-

もし 0 が渡されたケースを無視するなら、これが不要になるので 4 バイト縮む。

-

PHP タグの外に文字列を置く

-

PHP では、<?php ?> で囲われた部分の外側にある文字列は、そのまま出力される。今回のケースでは、先頭と末尾に必ず [ と ] を出力するので、そのまま書いてやればよい。

-

おわりに

-

最後になりましたが、めもりー さん、楽しい問題をありがとうございました。

-]]> - - - - PHPerKaigi 2022 - https://blog.nsfisis.dev/posts/2022-05-01/phperkaigi-2022/ - Sun, 01 May 2022 09:41:39 +0900 - - https://blog.nsfisis.dev/posts/2022-05-01/phperkaigi-2022/ - はじめに -

2022-04-09 から 2022-04-11 にかけて開催された、PHPerKaigi 2022 に、一般参加者として参加した。 -弊社デジタルサーカス株式会社 はダイヤモンドスポンサーとなっており、スポンサー枠のチケットを使わせていただいた。

-

昨年のレポートはこちら。

-

感想

-

厳選おすすめトーク

-

多くの素晴らしいトークの中から、特におすすめのものを 5つ選んだ。是非聞いてほしい。引用部分は、リンク先プロポーザルから引用している。

-

予防に勝る防御なし - 堅牢なコードを導く様々な設計のヒント

-
-

PHP はバージョンを追う毎に型宣言、例外、表明、列挙型などの機能が大幅に強化され、堅牢なコードを書くための機能が充実してきました。それらの機能はどう使うと効果的なのでしょうか。

-

本講演では PHP 8.1 をベースにして、誤りを想定してチェックするのではなく、そもそも誤りにくい設計とはどのようなものか、つまり「予防」の観点を軸足に、堅牢なコードを導くための様々な設計のヒントをご紹介します。

-
-

PHPのエラーを理解して適切なエラーハンドリングを学ぼう

-
-

PHPを使ってるとよく遭遇する Fatal error / Parse error / Warning / Notice 理解していますか？
-これらのエラー文を理解することで、すぐにエラーの原因に気付き適切に対象できる様になります！
-またそれらを理解した上でのエラーハンドリングを学びましょう。

-
-

エラー監視とテスト体制への改善作戦

-
-

毎日流れてくるエラーに皆さんはどう向き合ってますか？
-エラーを出さない事が一番ですが、完全に塞ぐ事は難しいと考えます。
-サービス運用の中で本番環境から発生するエラー（サーバー・クライアントサイド・サードパーティ起因のエラー）への監視体制と、
-エラー・バグ防御のためチームで行っているテストコード文化づくりの話をします。

-
-

ISUCON11のPHP実装は、何を考え、どのようにして作られていたのか

-
-

昨年開催されたISUCON11にて問題（参考実装）のPHPへの移植を担当させていただきました。

-

最終的なソースコードこそシンプルなWebアプリケーションではありますが、その裏には
-・「（私の思う）良い設計」を実現するための意思決定
-・「ISUCONの問題」という位置付けに由来する取捨選択
-・移植中に遭遇したトラブルとその解決策
-といった文脈や葛藤が存在しています。

-

本発表はそれらを共有することで
-・PHPアプリケーションの設計、実装事例として役立ててもらう
-・ISUCONの言語移植に興味を持ってもらう
-・ISUCON問題移植の「実装や設計の練習をする教材」としての可能性を知ってもらう
-ことを目的とします。

-
-

チームの仕事はまわっていたけど、メンバーはそれぞれモヤモヤを抱えていた話──40名の大規模開発チームで1on1ログを公開してみた

-
-

サイボウズの大企業向けグループウェアのGaroon（ガルーン）は、PHPで開発されている20年目の製品です。ガルーン開発チームは日本で40名、ベトナムで50名の計90名ほどのチームになっています。また、コロナ禍でフルリモートでの活動がこの2年ほど継続してきました。

-

フルリモートになっても仕事はまわっており、継続的にリリースはしていましたが、一方でお互いの考えていることや感じている問題意識が見えづらくなり、モヤモヤを抱えているメンバーが増えていました。

-

このセッションでは、そういう状況で私がチーム外からジョインし、聴き役に徹しながら見える化することで状況を改善していった取り組みを紹介します。同じように大きなチームやリモートワークで難しさを感じている人に、難しさの原因への気づきや取り組みへのヒントがあれば幸いです。

-
-

トークン問題の作成

-

今回は、PHPer チャレンジ用に弊社のトークン問題を 3題作成した。こちらについては別途記事にしているので、そちらを参照されたい。

-

PHPer チャレンジ

-

1位になった。
-また、賞品として Echo Show 15 をいただいた。

-

カンファレンス全体への感想

-

去年の参加レポ では、こんなことを書いた。

-
-

1つ個人的な反省点としては、(中略) Discord しかりアンカンファレンスしかり「このイベントのこの瞬間にしかないコンテンツ」に触れずに、後から見返せる発表やスライドに注力してしまった、ということだ。発表の詳細な見直しはあとからできるのだから、今しかできないことを考えるべきだった。
-まあ初カンファレンスだし、とお茶を濁しておこう。

-
-

この反省を踏まえ、今年は積極的にほかの場 (公式の Discord サーバや、アンカンファレンス) にも参加した。
-これにより、参加体験の質がはるかに向上した。特に Discord に関しては、登壇者ご本人による補足や、質問への回答などがおこなわれる (ことが多い) ため、特別な理由のない限り、発言はしないまでも参加はしておいたほうが良いと思われる。

-

なお、アンカンファレンスについては、1日目の終わりにトークン問題の解説放送もおこなった。

-

また、今年はオフラインとオンラインのハイブリッド開催であったが、去年の全オンラインと比べて、オンライン参加の体験が落ちていなかったのは、特筆すべきであろう。 -今年は 3回目のワクチン接種が間に合わなかったこともあり現地参加は見送ったのだが、来年は是非オフラインで参加したい。

-

そして来年へ……?

-

PHPerKaigi 2023 があるかどうか存じ上げないが、あるとすれば、次の 4つを目標としたい。

-
    -
  • プロポーザルを出す
    • -
  • PHPer チャレンジのトークン問題を 5題作成する
    • -
  • 現地に行く
    • -
  • PHPer チャレンジで圧勝する
    • -
-
-

最後になりましたが、PHPerKaigi のスタッフ、スポンサー、スピーカーのみなさん、素敵な時間をありがとうございました。

-

ではまた来年。

-]]> - - - - PHPerKaigi 2022 トークン問題の解説 - https://blog.nsfisis.dev/posts/2022-04-09/phperkaigi-2022-tokens/ - Sat, 09 Apr 2022 21:50:19 +0900 - - https://blog.nsfisis.dev/posts/2022-04-09/phperkaigi-2022-tokens/ - はじめに -

本日開始された PHPerKaigi 2022 の PHPer チャレンジにおいて、弊社 デジタルサーカス株式会社 の問題を 3問作成した。この記事では、これらの問題の解説をおこなう。

-

リポジトリはこちら: https://github.com/nsfisis/PHPerKaigi2022-tokens

-

第1問 brainf_ck.php

-

ソースコードはこちら。実行には PHP 8.1 以上が必要なので注意。

-
<?php
-
-declare(strict_types=0O1);
-
-namespace Dgcircus\PHPerKaigi\Y2022;
-
-/**
- * @todo
- * Run this program to acquire a PHPer token.
- */
-
-https://creativecommons.org/publicdomain/zero/1.0/
-
-\error_reporting(~+!'We are hiring!');
-
-$z = fn($f) => (fn($x) => $f(fn(...$xs) => $x($x)(...$xs)))(fn($x) => $f(fn(...$xs) => $x($x)(...$xs)));
-$id = \spl_object_id(...);
-$put = fn($c) => \printf('%c', $c);
-$mm = fn($p, $n) => new \ArrayObject(\array_fill(+!![], $n, $p));
-
-$👉 = fn($m, $p, $b, $e, $mp, $pc) => [++$mp, ++$pc];
-$👈 = fn($m, $p, $b, $e, $mp, $pc) => [--$mp, ++$pc];
-$👍 = fn($m, $p, $b, $e, $mp, $pc) => [$mp, ++$pc, ++$m[$mp]];
-$👎 = fn($m, $p, $b, $e, $mp, $pc) => [$mp, ++$pc, --$m[$mp]];
-$📝 = fn($m, $p, $b, $e, $mp, $pc) => [$mp, ++$pc, $put($m[$mp])];
-$🤡 = fn($m, $p, $b, $e, $mp, $pc) => match ($m[$mp]) {
-    +!![] => [$mp, $z(fn($loop) => fn($pc, $n) => match ($id($p[$pc])) {
-      $b => $loop(++$pc, ++$n),
-      $e => $n === +!![] ? ++$pc : $loop(++$pc, --$n),
-      default => $loop(++$pc, $n),
-    })($pc, -![])],
-    default => [$mp, ++$pc],
-};
-$🎪 = fn($m, $p, $b, $e, $mp, $pc) => match ($m[$mp]) {
-    +!![] => [$mp, ++$pc],
-    default => [$mp, $z(fn($loop) => fn($pc, $n) => match ($id($p[$pc])) {
-      $e => $loop(--$pc, ++$n),
-      $b => $n === +!![] ? $pc+![] : $loop(--$pc, --$n),
-      default => $loop(--$pc, $n),
-    })($pc, -![])],
-};
-$🐘 = fn($p) => $z(fn($loop) => fn($m, $p, $b, $e, $mp, $pc) =>
-  isset($p[$pc]) && $loop($m, $p, $b, $e, ...($p[$pc]($m, $p, $b, $e, $mp, $pc)))
-)($mm(+!![], +(![].![])), $p, $id($🤡), $id($🎪), +!![], +!![]);
-
-$🐘([
-  $👍, $👍, $👍, $👍, $👍, $👍, $👍, $👍, $👍, $👍,
-  $🤡,
-    $👉, $👍, $👍, $👍,
-    $👉, $👍, $👍, $👍, $👍, $👍,
-    $👉, $👍, $👍, $👍, $👍, $👍, $👍, $👍, $👍, $👍, $👍, $👍, $👍,
-    $👉, $👍, $👍, $👍, $👍, $👍, $👍, $👍, $👍, $👍, $👍,
-    $👈, $👈, $👈, $👈, $👎,
-  $🎪,
-  $👉, $👍, $👍, $👍, $👍, $👍, $📝,
-  $👎, $👎, $📝,
-  $👉, $👎, $👎, $👎, $📝,
-  $👉, $👎, $👎, $👎, $📝,
-  $👎, $👎, $📝,
-  $👎, $📝,
-  $👈, $📝,
-  $👉, $👉, $👎, $👎, $📝,
-  $👍, $👍, $👍, $👍, $👍, $👍, $👍, $📝,
-  $👈, $👎, $👎, $👎, $👎, $📝,
-  $👈, $📝,
-  $👉, $👍, $👍, $📝,
-  $👉, $👎, $📝,
-  $👈, $📝,
-]);
-

この問題は、単に適切なバージョンの PHP で動かせばトークンが得られる。

-

解説

-

絵文字

-

まず目につくのは大量の絵文字だろう。 -PHP は識別子に使用できる文字の範囲が広く、絵文字も使うことができる。

-

プログラム全体

-

Brainf*ck のインタプリタとプログラムになっている。 -Brainf*ck とは、難解プログラミング言語のひとつであり、ここで説明するよりも Wikipedia の該当ページを読んだ方がよい。

-

https://ja.wikipedia.org/wiki/Brainfuck

-

なお、brainf*ck プログラムを普通の書き方で書くと、次のようになる。

-
+ + + + + + + + + +
-[
-  > + + +
-  > + + + + +
-  > + + + + + + + + + + + +
-  > + + + + + + + + + +
-  < < < < -
-]
-> + + + + + .
-- - .
-> - - - .
-> - - - .
-- - .
-- .
-< .
-> > - - .
-+ + + + + + + .
-< - - - - .
-< .
-> + + .
-> - .
-< .
-

実行結果はこちら: https://ideone.com/22VWmb

-

それぞれの絵文字で表された関数が、各命令に対応している。

-
    -
  • $👉: >
    • -
  • $👈: <
    • -
  • $👍: +
    • -
  • $👎: -
    • -
  • $📝: .
    • -
  • $🤡: [
    • -
  • $🎪: ]
    • -
-

, (入力) に対応する関数はない (このプログラムでは使わないので用意していない)。

-

なお、$🐘 はいわゆる main 関数であり、プログラムの実行部分である。

-

絵文字の選択

-

おおよそ意味に合致するよう選んでいるが、$🤡 と $🎪 は弊社デジタルサーカスにちなんでいる。 -また、$🐘 は PHP のマスコットの象に由来する。

-

strict_types

-

declare 文の strict_types に指定できるのは、0 か 1 の数値リテラルだが、 -0x0 や 0b1 のような値も受け付ける。 -今回は、PHP 8.1 から追加された、0O または 0o から始まる八進数リテラルを使った。

-

URL

-

ソースコードのライセンスを示したこの部分だが、

-
https://creativecommons.org/publicdomain/zero/1.0/
-

完全に合法な PHP のコードである。 -https: 部分はラベル、// 以降は行コメントになっている。

-

リテラルなしで数値を生成する

-

ソースコード中に、ほとんど数値リテラルが書かれていないことにお気づきだろうか。 -PHP では、型変換を利用することで任意の整数を作り出すことができる。

-
assert(0 === +!![]);
-assert(1 === +![]);
-assert(2 === ![]+![]);
-assert(3 === ![]+![]+![]);
-assert(10 === +(![].+!![]));
-

[] に ! を適用すると true が返ってくる。それに + -を適用すると、bool から int ヘの型変換が走り、1 が生成される。10 -はさらにトリッキーだ。まず 1 と 0 を作り、. で文字列として結合する -('10')。これに + を適用すると、string から int -への型変換が走り、10 が生まれる (コード量に頓着しないなら、1 を 10 -個足し合わせてももちろん 10 が作れる)。

-

また、error_reporting に指定しているのは -1 である。 -これは、! によって文字列を false にし、+ によって false を 0 にし、さらにビット反転して -1 にしている。

-

if 文なしで条件分岐

-

三項演算子ないし match 式を使うことで、if を一切書かずに条件分岐ができる。 -また、&& / || も使えることがある。 -遅延評価が不要なケースでは、[$t, $f][$cond] のような形で分岐することもできる。

-

while、for 文なしでループ

-

不動点コンビネータを使って無名再帰する (詳しい説明は省略する。これらの単語で検索してほしい)。 -ここでは、一般に Z コンビネータとして知られるものを使った ($z)。

-

実際のところ、$🤡 や $🎪、$🐘 は、一度 Scheme (Lisp の一種) で書いてから PHP に翻訳する形で記述した。

-

なお、PHP は末尾再帰の最適化をおこなわない (少なくとも今のところは) ので、 -あまりに長い brainf*ck プログラムを書くとスタックオーバーフローする。

-

第2問 riddle.php

-

ソースコードはこちら。実行には PHP 8.0 以上が必要なので注意。

-
<?php
-
-/*********************************************************
- * This program displays a PHPer token.                  *
- * Guess 'N'.                                            *
- *                                                       *
- * Hints:                                                *
- * - N itself has no special meaning, e.g., 42, 8128,    *
- *   it is selected at random.                           *
- * - Each element of $token represents a single letter.  *
- * - One letter consists of 5x5 cells.                   *
- * - Remember, the output is a complete PHPer token.     *
- *                                                       *
- * License:                                              *
- *   https://creativecommons.org/publicdomain/zero/1.0/  *
- *********************************************************/
-const N = 0 /* Change it to your answer. */;
-assert(0 <= N && N <= 0b11111_11111_11111_11111_11111);
-
-$token = [
-  0x14B499C,
-  0x0BE34CC, 0x01C9C69,
-  0x0ECA069, 0x01C2449, 0x0FDB166, 0x01C9C69,
-  0x01C1C66, 0x0FC1C47, 0x01C1C66,
-  0x10C5858, 0x1E4E3B8, 0x1A2F2F8,
-];
-foreach ($token as $x) {
-  $x = $x ^ N;
-
-  $x = sprintf('%025b', $x);
-  $x = str_replace(search: ['0', '1'], replace: [' ', '#'], subject: $x);
-  $x = implode("\n", str_split($x, length: 5));
-  echo "{$x}\n\n";
-}
-

さて、この問題はさきほどのように単純に実行しただけでは、謎のブロックが表示されるだけでトークンは得られない。 -トークンを得るためには、ソースコードを読み、定数 N を特定する必要がある。

-

ここでは、私の想定解を解説する。

-

読解

-

まずはソースコードを読んでいく。

-
$token = [
-  // 略
-];
-

数値からなる $token があり、各要素をループしている。

-
  $x = $x ^ N;
-

まずは排他的論理和 (xor) を取り、

-
  $x = sprintf('%025b', $x);
-

二進数に変換して、

-
  $x = str_replace(search: ['0', '1'], replace: [' ', '#'], subject: $x);
-

0 を空白に、1 を # にし、

-
  $x = implode("\n", str_split($x, length: 5));
-

5文字ごとに区切ったあと、改行で結合している。

-

ヒント

-

次に、ソースコードに書いてあるヒントを読んでいく。

-
    -
  • N それ自体は、42 や 8128 といったような特別な意味を持たず、ランダムに決められている
    • -
  • $token の各要素は、1文字を表す
    • -
  • 1文字は 5x5 のセルからなる
    • -
  • 出力されるのは、完全な PHPer トークンである
    • -
-

ここで、PHPer トークンは必ず # 記号から始まることを思いだすと、 -$token の最初の数字 0x14B499C は、変換の結果 # になるのではないかと予想される (なお、このことは、リポジトリの README ファイルに追加ヒントとして書かれている)。

-

解く

-

ここまでわかれば、あと一歩で解ける。すなわち、0x14B499C が # に変換されるような N を見つければよい。

-

N は高々

-
assert(0 <= N && N <= 0b11111_11111_11111_11111_11111);
-

なのでブルートフォースしてもよいが、ここではブルートフォースしない方法を紹介する。

-
<?php
-
-$x = 0x14B499C;
-
-$x = $x ^ N;
-
-$x = sprintf('%025b', $x);
-$x = str_replace(search: ['0', '1'], replace: [' ', '#'], subject: $x);
-$x = implode("\n", str_split($x, length: 5));
-
-assert($x ===
-  " # # \n" .
-  "#####\n" .
-  " # # \n" .
-  "#####\n" .
-  " # # ");
-

この一連の変換に対する逆変換を考えると、次のようになる。

-
<?php
-
-$x =
-  " # # \n" .
-  "#####\n" .
-  " # # \n" .
-  "#####\n" .
-  " # # ";
-
-$x = implode('', explode("\n", $x));
-$x = str_replace(search: [' ', '#'], replace: ['0', '1'], subject: $x);
-$x = bindec($x);
-
-$n = $x ^ 0x14B499C;
-
-echo "N = $n\n";
-

これを実行すると、N が得られる。

-

第3問 toquine.php

-

ソースコードはこちら。

-
<?php
-
-// License: https://creativecommons.org/publicdomain/zero/1.0/
-// This is a quine-like program to generate a PHPer token.
-// Execute it like this: php toquine.php | php | php | php | ...
-
-$s = <<<'Q'
-<?cuc
-// Yvprafr: uggcf://perngvirpbzzbaf.bet/choyvpqbznva/mreb/1.0/
-// Guvf vf n dhvar-yvxr cebtenz gb trarengr n CUCre gbxra.
-// Rkrphgr vg yvxr guvf: cuc gbdhvar.cuc | cuc | cuc | cuc | ...
-%f$f = %f;
-$f = fge_ebg13($f); $kf = [
-%f,
-];
-$g = ahyy.snyfr; sbe ($v = 0; $v <= vagqvi(__YVAR__-035,6); ++$v) vs (!vffrg($kf[$v])) oernx; ryfr
-$g .= vzcybqr("\a", fge_fcyvg(fge_ercynpr(['0','1'], ['  ','##'], fcevags(pue(37) . '025o', $kf[$v])), 012)) . "\a\a";
-$jf = neenl_znc(sa($j) => vzcybqr(', ', $j), neenl_puhax(neenl_znc(sa($k) => fcevags('0k' . pue(37) . '07K', $k), $kf), 10));
-cevags($f, $g, fge_ebg13("<<<'Q'\a{$f}\aQ"), vzcybqr(",\a", $jf));
-Q;
-$s = str_rot13($s); $xs = [
-0x0AFABEA, 0x1F294A7, 0x1F2109F, 0x1F294A7, 0x0002800, 0x1F2109F, 0x0117041, 0x1F294A7, 0x1FAD6B5, 0x1F295B7,
-0x010FC21, 0x1FAD6B5, 0x1151151, 0x010FC21, 0x1F294A7, 0x1F295B7, 0x1FAD6B5, 0x1F294A7, 0x1F295B7, 0x1F8C63F,
-0x1F8C631, 0x1FAD6B5, 0x17AD6BD, 0x17AD6BD, 0x1F8C63F, 0x1F295B7,
-];
-$t = null.false; for ($i = 0; $i <= intdiv(__LINE__-035,6); ++$i) if (!isset($xs[$i])) break; else
-$t .= implode("\n", str_split(str_replace(['0','1'], ['  ','##'], sprintf(chr(37) . '025b', $xs[$i])), 012)) . "\n\n";
-$ws = array_map(fn($w) => implode(', ', $w), array_chunk(array_map(fn($x) => sprintf('0x' . chr(37) . '07X', $x), $xs), 10));
-printf($s, $t, str_rot13("<<<'D'\n{$s}\nD"), implode(",\n", $ws));
-

コメントにもあるとおり、次のようにして実行すれば答えがでてくる。

-
$ php toquine.php | php | php | php | ...
-

実際にはもう少しパイプで繋げなければならない。

-

解説

-

プログラム全体

-

コメントにもあるとおり、これは quine (風) のプログラムになっている。 -Quine とは、自分のソースコードをそっくりそのまま出力するようなプログラムのことである。

-

このプログラムは、実行すると自身とほとんど同じプログラムを出力する。 -異なるのはトークンになっている部分のみである。

-

トークン

-

$xs がトークンに対応している。変換のロジックは riddle.php とほぼ同じなので省略する。

-

状態保持

-

トークンの何文字目まで出力したかを、ソースコードを変えずに (quine なので) 覚えておく必要がある。 -このプログラムでは、トークンが出力されるとソースコードがだんだんと長くなっていくのを利用して、__LINE__ から情報を取得している。

-

ROT 13

-

Quine は、素朴に書くとプログラムの一部が 2回記述されてしまう。 -これがあまり美しくないので、toquine.php では、ROT 13 変換を使って難読化した。

-

それにしてもなぜこんなものが標準ライブラリに……。

-

おわりに

-

解いていただいたみなさん、また、難易度調整につきあっていただいた社内のみなさん、ありがとうございました。

-

今回は直前に作りはじめたのもあり、3問だけかつ使い古されたネタばかりになってしまいましたが、 -来年は 5問、より面白い問題を持っていきます。

-

実はもう作りはじめているので、どうか来年もありますように……。

-]]> - - - - PHPerKaigi 2021 - https://blog.nsfisis.dev/posts/2021-03-30/phperkaigi-2021/ - Tue, 30 Mar 2021 23:22:40 +0900 - - https://blog.nsfisis.dev/posts/2021-03-30/phperkaigi-2021/ - PHPerKaigi 2021 参加レポ -

2021-03-26 から 2021-03-28 にかけて開催された、PHPerKaigi 2021 に一般参加者として参加した。 -弊社デジタルサーカス株式会社 (今年1月から勤務) はダイヤモンドスポンサーとなっており、スポンサー枠のチケットを使わせていただいた。

-

このようなカンファレンスには初めて参加するのでかねてより心待ちにしていたのだが、生憎2日目から体調を崩してしまい、この記事も途中までとなっている。まだ見ていないセッションも多いが、ひとまず現時点での参加レポを書いておく。

-

発表はトラック A、B に分かれていたのだが、今回はすべて A トラックを視聴している (切り替えるのが面倒だっただけ)。

-

凡例

-
-

発表・スライドのメモ (引用ではない)

-
-

感想など

-

Day 0 前夜祭 (2021/03/27)

-

17:30 [A]

-

PHP で AWS Lambda

-
-

Rails のプロジェクトを PHPer のメンバのみでメンテ -→他のメンバもわかる PHP にリプレースを検討

-

サーバレス

-
    -
  • サーバ・インフラの管理が不要
    • -
  • アプリケーションコードの知識だけで保守可能
    • -
-

ゼロベースで作れる案件が (Railsの件とは別に) あるため、そちらで試験的に導入?

-

AWSの学習 -AWS のドキュメント -DevelopersIO

-

AWS Lambda のカスタムランタイムで PHP を動かす

-

サーバのセットアップや維持管理を気にしなくて良い -サーバーレスで PHP を動かすツールがすでにある -サーバーレス構築はすんなり

-

今は Laravel がルーティングしている -Laravel Livewire を Lambda に載せられないか？ -デプロイ方法は？ -バッチ処理は？ (Lambda は 15分の制限)

-

Lambda でコンテナイメージがサポートされるように

-

抽象化されたもの「だけ」しか知らないよりも具象の理解は助けになる

-
-

AWS Lambda のような Function as a Service はマイクロサービス化における一つの到達点に思えるのだが、これを使って実際に web サービスを作る具体的なイメージがまだ見えない (注: すべて for me として書いている)。

-

PHP on AWS Lambda があれだけ簡単に動かせるのには驚いた。

-

勝手に AWS Lambda だとフットプリントの軽さが求められそう (= PHP + Laravel などでは動かなさそう) だという先入観を持っていたのだが、この発表のデモによればそうでもないらしい。

-

18:10 [A]

-

大規模サイトの SEO

-
-

大規模サイト (100万ページ以上) -Google の基準

-

クロールバジェットを意識したSEO

-

大規模サイトでコンテンツが中頻度 (1回/週) で更新 OR 中規模サイト (10,000以上) でコンテンツが目まぐるしく変更される -これを満たさないなら、クロールバジェットを考えなくてもいい

-

サーチコンソール -「カバレッジ」の「除外」 -多すぎるのは問題→クロールバジェットを浪費している

-
    -
  • クエリの順番を決める
    • -
  • 空の値のルールを決めておく
    • -
  • リダイレクトすればインデックスはうまくいく
    • -
  • リンクが存在する限りクロールはされる
    • -
-

リニューアル前のURL

-

インデックスは移行される -リンクのURLが存在する限り、別のURLとしてクロールされる -リダイレクトされるとはいえ、リニューアル前のURLは移行した方が良い -リニューアルで無視されるようになったパラメータも注意

-

robotes.txt で拒否しているのにクロールされる -一時的に拒否を外して 404 や 301 を読ませる -内部リンクを確認する -JS でのリンクに書き換え

-

クエリパラメータからURLのパスに -/tokyo?area=HOGE → /tokyo/HOGE

-

URL 設計だいじ

-
-

SEO (Search Engine Optimization) は大して知らないので新鮮な話が多かった。その分語れることも少ない……。

-

18:50 [A]

-
-

知覚可能 -操作可能 -理解可能 -堅牢 ちゃんとしたHTMLを書く (閉じタグ・入れ子構造など)

-
    -
  • -

    標準の HTML を適切に使う

    -
    • -
  • -

    WAI-ARIA

    -
    • -
  • -

    キーボードフレンドリー

    -
    • -
  • -

    マシンフレンドリー

    -
    • -
  • -

    SEOフレンドリー

    -
    • -
-

button タグ -→キーボード -h1 タグ -→スクリーンリーダー・クローラ -a タグ

-

WAI-ARIA -HTML では表現できないセマンティクスを追加する

-
    -
  • ロール -
      -
    • 何をするのか？
      • -
    • ユーザーアクションによって変化しない
      • -
    -
    • -
  • プロパティ -
      -
    • 関連づけられたデータ
      • -
    -
    • -
  • ステート -
      -
    • 現在の状態
      • -
    -
    • -
-

まずは標準の HTML 要素で解決する -何でもかんでも WAI-ARIA を使えばいいというものではない

-

マウスホバーでツールチップが出てくるが、キーボード操作では出てこない

-

VoiceOver

-

全ての属性を使う必要はない -あくまでアクセシビリティを上げるための方法の一つにすぎない

-
-

つい最近 WAI-ARIA についての記事を読んだばかりだったので個人的にタイムリーな話題だった。(あまりこの言葉を使いたくないのだが) いわゆる「健常者」にとって、こうした問題を普段の生活の中で意識するのは難しい。だからこそ情報へのアンテナは張っておくようにしたい。

-

19:30 [A]

-

PHP で FUSE

-

個人的に楽しみだった発表。

-
-

VFS (virtual filesystem) vs 具体的なファイルシステム

-

最適な実装方法は状況により異なる

-

アプリケーションに見せるAPIは変えずに実装を隠蔽する→VFS

-

カーネルのプログラムを作るのは難しい

-
    -
  • 権限がデカすぎる
    • -
  • システム全体がクラッシュ
    • -
  • セキュリティリスク
    • -
  • 開発サイクルを回しづらい
    • -
  • ネイティブコードにコンパイルされる言語である必要がある
    • -
-

Filesystem in USEr space (FUSE)

-
    -
  • 特定の C の関数を呼ぶことで filesystem が作れる
    • -
  • FFI を持つ言語なら FUSE が使える
    • -
-

SSHFS / s3fs / Docker Desktop

-

Linux 以外でも使える

-
    -
  • dokany (on Windows)
    • -
  • osxfuse
    • -
-

VFS: システムコールが呼ばれると、ファイルシステムによってコール -FUSE: カーネル空間からユーザ空間へ通信

-

高レベルなラッパで型をつける

-

PHP 以外では Wordpress を FUSE にマウントする実装がある (C, Python など)

-
    -
  • grep できる
    • -
  • sed できる
    • -
  • 編集できる
    • -
-
-

期待通りの興味深い発表だった。FUSE 自体も今回の発表で知ったのだが、これ本体の実装を見るのも面白そうだ。 -この発表を聞きながらファイルシステムにマウントできそうなものを考えていたのだが、およそ木構造をしているものすべてと言えそうだ (ハンマーしか持っていないと云々)。何かできそうだがなかなか思いつかない。

-

Day 1 (2021/03/27)

-

10:50 [A]

-

ATDD

-
-
    -
  • ユーザーストーリー
    • -
  • ユニットテスト
    • -
  • CI/CD
    • -
-

ユーザストーリーの受け入れ条件が曖昧になりがち -デグレチェックがユニットレベルでは収まらない場合、手動で同じシナリオをテストしている

-

Q2の強化 -アジャイルテストの4象限

-

技術面/ビジネス面 -開発チーム支援(コーディング前・コーディング中)/製品批評(コーディング後)

-
    -
  • Q1: 技術面 & チーム支援 -
      -
    • TDD
      • -
    • ユニットテストなど
      • -
    -
    • -
  • Q2: ビジネス面 & チーム支援 -
      -
    • ATDD
      • -
    • ビジネス面の受け入れテストで駆動する
      • -
    -
    • -
-

Agile Alliance -ユーザストーリーのスキルレベルを高める

-

テストピラミッド

-
    -
  • -

    UI Tests

    -
    • -
  • -

    Service Tests

    -
    • -
  • -

    Unit Tests

    -
    • -
  • -

    異なる粒度のテストを書く

    -
    • -
  • -

    高レベルになるほど、持つべきテストは少なくなる

    -
      -
    • ピラミッド型になる
      • -
    -
    • -
-

高レベルテストが多すぎる→アイスクリームコーン　アンチパターン

-

ATDD (Acceptance TDD) -API経由・UI経由での高レベルテスト E2E test

-

ストーリ受け入れテスト

-

入れ子のフィードバックループ -ATDD(外側) と TDD(内側)

-

外部品質・内部品質

-

バーティカルスライスのデリバリー

-
    -
  • cucumber
    • -
  • gauge
    • -
  • behat
    • -
-

ユビキタス言語 -手動テストもspecに書く -自動化は可能だがコスパが悪い -失敗することがわかっているテスト(レッドテスト)はCIから外す -失敗時の原因究明が難しい -饒舌なエラーメッセージ -状況のスナップショット

-

Continuous Testing

-
-

User Acceptance Test (UAT) くらいの規模になると個人開発・趣味開発では触れない領域なので、大いに勉強になった。スライドに添付されている資料が相当に充実していたので、これを読むのが本番といった様相すら感じる。 -高レベルテストの自動化は現在のプロジェクトでも感じており、自動化のチャンスは伺っている。とはいえセッションでも指摘されているように自動化することにコストがかかりすぎる領域があるのも事実で、そのバランスが難しい。

-

11:50 [A]

-

型解析を用いたリファクタリング

-

型のある世界で生きてきた身として大いに楽しみにしていた発表。

-
-
    -
  • PHPStan
    • -
  • Phan
    • -
  • Psalm
    • -
-

autoload も認識できる -bootstrapFiles

-

編集箇所と利用箇所を CI でチェック -ルールレベルを徐々に引き上げていく -警告が多すぎると見落としてしまう・無視されやすくなる

-

型がついていないことによるエラーが多い

-

型よりも詳細な検査 Util_Assert::min

-

SQL を静的解析 -placeholder の型付け

-

警告レベルを低いレベルから導入 -タイプヒントを積極的に書いていく -PHPStan の拡張を追加する

-
-

昨今、動的型付き言語での型宣言・型アノテーション・型ヒントの導入が相次いでいる。長らく静的型付き言語を書いてきた私からすると、ようやく気づいたかといったところだが、ともかく型を導入する言語が増えてきた。 -今のプロジェクトでも新しく追加するコードには型をつけるよう努めているが、どうしても古いコードには型がついていない。個人的には型のないコードに対してどう型を自動的に付けるかという点に興味があり、その点で Ruby の typeprof には注目している。

-

12:30 [A]

-

昼食をとっていた。事前に何か食料を買っておくべきだった。

-

13:10 [A]

-

Documentation as Code

-

この発表も以前から非常に楽しみにしていた。

-
-

開発開始までのオーバーヘッド -新規にチームにジョイン -担当範囲外の機能を理解 -オンボーディングのコスト

-

PHPerKaigi 2020 で発表あり

-

継続的にシステムの理解を助けるドキュメント

-

継続的ドキュメンテーション -システムとドキュメントの乖離

-

書いてあることが間違っている・足りない

-
    -
  • 徐々にずれていく
    • -
  • システムの更新タイミングとドキュメントの更新タイミングに差がある
    • -
-

システムとドキュメントは対応関係がある

-
    -
  • 間違ったドキュメント
    • -
  • 存在しないドキュメント
    • -
-

システムとドキュメントの乖離を定量化する -継続的に -システムの更新に近いタイミングで ドキュメントを更新し続ける

-

Documentation as Code

-

コードと同じツールでドキュメントを書く

-
    -
  • issue tracker
    • -
  • vcs
    • -
  • plain text markup
    • -
  • automation
    • -
-

開発者 -システム -ドキュメント -構造化データ -ソフトウェア

-

システムから構造化データを抽出する -PHPDoc -OpenAPI

-

ビュー 関心ごとに合わせてアーキテクチャを一つ以上の側面(断面)で説明する

-

ビューの単位でドキュメントに

-

スタックトレースからのドキュメント生成

-
-

ドキュメントの管理は現プロジェクトでも課題と感じている。作られた当初は正しくても、実態と乖離していくのを止めるのは困難を極める。全体的に興味深い発表だったが、特にスタックトレースからのドキュメント生成というアイデアに惹かれるものを感じた。スタックトレースという実態と不可分な (乖離しない) 情報を起点にするのは理にかなっている。問題はトレースをいつ、どう取るかだろうか。それを自動化しなければ、実態との乖離が避けられないだろう。

-

14:10 [A]

-

cookie による session 管理

-

全体的に基本的な話だったので特に触れない。Cookie やセッションの話としては非常に分かりやすくまとめられていたので、知らない人が学ぶにはいい教材だろう。

-

14:50 [A]

-

PHP のエラーと例外

-
-

エラー PHPエンジンがエラーを通知する -例外 プログラムが投げる

-

PHP7-8とエラー

-

PHPエンジンのエラーの一部が \Error に変換されるようになった -→ try-catch で捕捉できる

-

\Error は例外とは異なる

-

PHP8 でエラーレベルの引き上げ

-
    -
  • 捕捉すべきもの -
      -
    • recoverable
      • -
    -
    • -
  • 捕捉すべきでないもの -
      -
    • unrecoverable
      • -
    • 開発時に対処できるもの
      • -
    -
    • -
-

例外

-
    -
  • 捕捉して事後処理
    • -
  • 捕捉せず(or 捕捉した上で)さらに上に是非を問う
    • -
-

開発段階で例外を把握し、ハンドリングを考えておく

-

\Throwable \Exception と \Error

-

\Error はキャッチすべきでない

-
    -
  • -

    \Error

    -
      -
    • 本番で起きてはいけない
      • -
    -
    • -
  • -

    \LogicException

    -
      -
    • 本番で起きてはいけない -→生じないのだから捕捉もしない
      • -
    -
    • -
  • -

    \RuntimeException

    -
      -
    • 起こるかもしれないので本番環境でも考慮する
      • -
    -
    • -
-

捕捉して対応するのではなく、未然に防ぐ

-

独自例外を使う -\Exception を投げてしまうと、 -catch (\Exception)せざるを得ない -→catch 範囲が広すぎる

-

SPL の例外を使う

-

例外翻訳 -上位のレイヤが下位のレイヤの例外を捕捉し、上位レイヤのAPIに「翻訳」する -下位レイヤの知識に依存させない

-

@throws -捕捉してほしい例外を書き連ねておく

-

呼び出しもとに負わせたい責任

-
-

PHP を学んでいる途中の私としては、今まさに聞きたい発表だった (現時点で PHP を書き始めてから 4ヶ月ほどになる)。

-

個人的に例外やエラーを最もうまく扱っているのは Go、Swift、Rust、Haskell などのエラーを「値として」扱う言語だと思っている。try-catch は通常の処理フローを完全に壊してしまう上、構文としても重すぎる。値としてのエラー通知は C言語時代への回帰ともいえるが、その頃と異なるのはエラーを暗黙のうちに握り潰すことがないということだ。これらの言語は型を持っており、静的に検証ができる (C のそれはまともな型付けではない。念のため)。

-

PHP のように、すでに例外が言語システムに根ざしている言語ではどうすればよいか。この場合も同じく静的検証の力を借りることになるだろう。

-

15:30 [A]

-

Laravel のメール認証

-

Laravel の知識がない私にはまったくついていけなかった。また、個人的にタイトルがややミスリーディングに感じた。

-

16:10 [A]

-

gRPC

-
-

Unary RPCs -Server streaming RPCs -Client streaming RPCs -Bidirectional streaming RPCs

-

Protobuf

-

実装とAPIが乖離しにくい -自動生成 -複数言語でも相互に使える

-

マイクロサービスのサービス通信 -スマホアプリ -ゲームサーバ

-

PHP では？

-

PHP ではストリーミングが難しい -リクエストごとにプロセスが使い捨て

-

PHP ではgRPCのクライアントしか対応していない

-

gRPC-Web -ブラウザで扱うためのJSライブラリ+プロトコル

-

HTTP/1.1 でも使える -Unary RPC と Server streaming RPC のみ

-

Envoy -Nginx などで相互に gRPC と gRPC-Web で変換

-

Amp -イベント駆動な並行処理のフレームワーク

-

HTTP/2 対応

-

C#のgRPC-Webが楽

-
-

(発表の中でもまさに同じことをおっしゃっていたが) PHP 以外の方が向いているだろう、というのが第一の感想である。gRPC はそれ自体というよりも Protobuf というエコシステムに乗れることのメリットが大きいと感じる。そのエコシステムにうまく乗れない時点で、うーんという感じ。

-

16:50 [A]

-

アーキテクチャテスト

-
-

Independent Core Layer Pattern

-

開発初期のアーキテクチャが崩れる -アーキテクチャ観点のコードレビューができない

-

どこにクラスを置けばよいか？ -ドキュメントがない

-

アーキテクチャ設計に関する知識が属人化・暗黙知化

-

ガイドライン

-
    -
  • 最初にルールを決めるのは簡単
    • -
  • ルール通り作り始めるのも簡単 -
      -
    • →維持するのが難しい、人が決めたものゆえ壊れやすい
      • -
    -
    • -
-

PHP の特性

-
    -
  • クラスは public
    • -
  • 可視性の制御が public / protected / private のみ
    • -
  • 依存関係の制御が困難
    • -
-

アーキテクチャテスト -クラスの依存関係や実装ルールをコードとして表現し、自動テスト化する

-
    -
  • deptrac
    • -
  • phpat
    • -
-

Independent Core Layer Pattern

-

アーキテクチャテストの失敗

-
    -
  • 実装誤り
    • -
  • or アーキテクチャが適切でない -
      -
    • 開発の過程でフィードバックしていく
      • -
    -
    • -
-

モジュラーモノリス→マイクロサービスへ

-
-

Day 2 (2021/03/28)

-

冒頭に書いた通り、2日目から体調が悪くまともに聴けていない。途中までは頭痛を我慢しつつ見ていたのだが、まともに入ってこなかった。

-

残念ではあるが、いずれにせよ見られていない発表は他にもあるので、今週末にでもまとめて見ようと思う。

-

全体の感想

-

Day 2 にほとんど参加できなかったのは残念だが、イベント自体は大変楽しく、また興味深いものであった。自分がまったく知らない領域の話を聞けるのはこうしたイベントならではだと感じる。オンライン開催ゆえ現地に行く必要がなく、気軽に参加できたのも (特に初参加者として) 嬉しいポイントだった。

-

今回、雑談/登壇者への質問等向けに Discord サーバもあったのだが、こちらは参加こそしたものの ROM のままになってしまった。発表に1ウィンドウ、メモを書くのに1ウィンドウ、Discord 表示に 1ウィンドウで私にはもう脳のリソースとディスプレイのスペースが追いつかなかった (さらにいうと Zoom でアンカンファレンスもやっていたようだ。こちらはまったく参加していない)。

-

1つ個人的な反省点としては、一つ一つのセッションを真剣に聞き過ぎたというものがある。もっと適当に聞いておけばよかった。これだけだと大変語弊があるのだが、言い方を変えると、Discord しかりアンカンファレンスしかり「このイベントのこの瞬間にしかないコンテンツ」に触れずに、後から見返せる発表やスライドに注力してしまった、ということだ。発表の詳細な見直しはあとからできるのだから、今しかできないことを考えるべきだった。 -まあ初カンファレンスだし、とお茶を濁しておこう。

-

さて、カンファレンスで一つ気になったことがある。それは、Discord という書き込み場所が増えたことでニコ生のコメントの流量が吸い取られてしまったのではないか、という点だ。ニコニコだけ見ていると過疎っているかのように見えた発表も、Discord の方では盛り上がっている、というのを何度か見かけた。ニコニコのコメント方式は盛り上がりを如実に反映するが、逆もまたしかり。Discord があったこと自体はプラスだったと思うが、この点はマイナスだったのではないかと感じる。

-
-

最後になりましたが、毎年の PHPerKaigi 開催にご尽力されている皆様、スピーカーの皆様、楽しい3日間でした。ありがとうございました！ -(ずっと常体で書いてしまったのでいきなり仏頂面から笑顔になったようで気持ち悪い)

-

ではまた来年。

-]]> - - - - diff --git a/docs/tags/conference/index.html b/docs/tags/conference/index.html deleted file mode 100644 index 40c8675..0000000 --- a/docs/tags/conference/index.html +++ /dev/null @@ -1,92 +0,0 @@ - - - - - - - - conference | REPL: Rest-Eat-Program Loop - - - - - - - - - - - - - - - -
- -
-
- -

conference

- -
-
-

PHP カンファレンス沖縄で出題されたコードゴルフの問題を解いてみた

-
-
-

PHP カンファレンス沖縄の懇親会 LT で出題されたコードゴルフの問題を解いてみた。

-
-
- Posted on -
- -
-
-
-

PHPerKaigi 2022

-
-
-

2022-04-09 から 2022-04-11 にかけて開催された、PHPerKaigi 2022 に参加した。

-
-
- Posted on -
- -
-
-
-

PHPerKaigi 2022 トークン問題の解説

-
-
-

PHPerKaigi 2022 で私が作成した PHPer チャレンジ問題を解説する。

-
-
- Posted on , updated on -
- -
-
-
-

PHPerKaigi 2021

-
-
-

2021-03-26 から 2021-03-28 にかけて開催された、PHPerKaigi 2021 に参加した。

-
-
- Posted on -
- -
- - - - - - diff --git a/docs/tags/conference/page/1/index.html b/docs/tags/conference/page/1/index.html deleted file mode 100644 index 740f29e..0000000 --- a/docs/tags/conference/page/1/index.html +++ /dev/null @@ -1,10 +0,0 @@ - - - - https://blog.nsfisis.dev/tags/conference/ - - - - - - diff --git a/docs/tags/cpp/feed.xml b/docs/tags/cpp/feed.xml deleted file mode 100644 index 435e2f9..0000000 --- a/docs/tags/cpp/feed.xml +++ /dev/null @@ -1,89 +0,0 @@ - - - - cpp on REPL: Rest-Eat-Program Loop - https://blog.nsfisis.dev/tags/cpp/ - Recent content in cpp on REPL: Rest-Eat-Program Loop - Hugo -- gohugo.io - ja-JP - Sat, 02 Oct 2021 09:38:30 +0900 - - [C++] 属性構文の属性名にはキーワードが使える [[void]] [[for]] - https://blog.nsfisis.dev/posts/2021-10-02/cpp-you-can-use-keywords-in-attributes/ - Sat, 02 Oct 2021 09:38:30 +0900 - - https://blog.nsfisis.dev/posts/2021-10-02/cpp-you-can-use-keywords-in-attributes/ - この記事は Qiita から移植してきたものです。 -元 URL: https://qiita.com/nsfisis/items/94090937bcf860cfa93b

-
-

タイトル落ち。まずはこのコードを見て欲しい。

-
#include <iostream>
-
-[[alignas]] [[alignof]] [[and]] [[and_eq]] [[asm]] [[auto]] [[bitand]]
-[[bitor]] [[bool]] [[break]] [[case]] [[catch]] [[char]] [[char16_t]]
-[[char32_t]] [[class]] [[compl]] [[const]] [[const_cast]] [[constexpr]]
-[[continue]] [[decltype]] [[default]] [[delete]] [[do]] [[double]]
-[[dynamic_cast]] [[else]] [[enum]] [[explicit]] [[export]] [[extern]] [[false]]
-[[final]] [[float]] [[for]] [[friend]] [[goto]] [[if]] [[inline]] [[int]]
-[[long]] [[mutable]] [[namespace]] [[new]] [[noexcept]] [[not]] [[not_eq]]
-[[nullptr]] [[operator]] [[or]] [[or_eq]] [[override]] [[private]]
-[[protected]] [[public]] [[register]] [[reinterpret_cast]] [[return]] [[short]]
-[[signed]] [[sizeof]] [[static]] [[static_assert]] [[static_cast]] [[struct]]
-[[switch]] [[template]] [[this]] [[thread_local]] [[throw]] [[true]] [[try]]
-[[typedef]] [[typeid]] [[typename]] [[union]] [[unsigned]]
-[[virtual]] [[void]] [[volatile]] [[wchar_t]] [[while]] [[xor]] [[xor_eq]]
-// [[using]]
-int main() {
-    std::cout << "Hello, World!" << std::endl;
-}
-
-

コンパイラのバージョン -$ clang++ –version -Apple clang version 11.0.0 (clang-1100.0.33.8) -Target: x86_64-apple-darwin19.6.0 -Thread model: posix -InstalledDir: /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin

-

コンパイルコマンド (C++17指定) -$ clang++ –std=c++17 hoge.cpp

-
-

この記事から得られるものはこれ以上ないので以下は蛇足になる。

-

別件で cppreference.com の identifier のページ を読んでいた時、次の文が目に止まった。

-
-
    -
  • the identifiers that are keywords cannot be used for other purposes; -
      -
    • The only place they can be used as non-keywords is in an attribute-token. (e.g. [[private]] is a valid attribute) (since C++11)
      • -
    -
    • -
-
-

キーワードでも属性として指定する場合は非キーワードとして使えるらしい。 -実際にやってみる。

-

同サイトの [keywords のページ] (https://en.cppreference.com/w/cpp/keyword) から一覧を拝借し、上のコードが出来上がった (C++17 においてキーワードでないものなど、一部省いている)。 -大量の警告 (unknown attribute ‘〇〇’ ignored) がコンパイラから出力されるが、コンパイルできる。

-

上のコードでは [[using]] をコメントアウトしているが、これは using キーワードのみ属性構文の中で意味を持つからであり、このコメントアウトを外すとコンパイルに失敗する。

-
// using の例
-[[using foo: attr1, attr2]] int x; // [[foo::attr1, foo::attr2]] の糖衣構文
-

C++17 の仕様も見てみる (正確には標準化前のドラフト)。

-

引用元: https://timsong-cpp.github.io/cppwp/n4659/dcl.attr#grammar-4

-
-

If a keyword or an alternative token that satisfies the syntactic requirements of an identifier is contained in an attribute-token, it is considered an identifier.

-
-

「identifier の構文上の要件を満たすキーワードまたは代替トークンが attribute-token に含まれている場合、identifier とみなされる」とある。どうやら間違いないようだ。

-

ところで、代替トークン (alternative token) とは and (&) や bitor (|) などのことだが、identifier の構文上の要件を満たさないような代替トークンなどあるのか？ -疑問に思って調べたところ、代替トークンという語にはダイグラフも含まれるらしい (参考: 同ドラフト)

-
    -
  • <% → {
    • -
  • %> → }
    • -
  • <: → [
    • -
  • :> → ]
    • -
  • %: → #
    • -
  • %:%: → ##
    • -
-

「identifier の構文上の要件を満たさないような代替トークン」はこれらが当てはまると思われる。

-

調べた感想: 字句解析器か構文解析器が辛そう

-]]> - - - - diff --git a/docs/tags/cpp/index.html b/docs/tags/cpp/index.html deleted file mode 100644 index 73b29b1..0000000 --- a/docs/tags/cpp/index.html +++ /dev/null @@ -1,56 +0,0 @@ - - - - - - - - cpp | REPL: Rest-Eat-Program Loop - - - - - - - - - - - - - - - -
- -
-
- -

cpp

- -
-
-

[C++] 属性構文の属性名にはキーワードが使える [[void]] [[for]]

-
-
-

C++ の属性構文の属性名には、キーワードが使える。ネタ記事。

-
-
- Posted on -
- -
- - - - - - diff --git a/docs/tags/cpp/page/1/index.html b/docs/tags/cpp/page/1/index.html deleted file mode 100644 index ee45690..0000000 --- a/docs/tags/cpp/page/1/index.html +++ /dev/null @@ -1,10 +0,0 @@ - - - - https://blog.nsfisis.dev/tags/cpp/ - - - - - - diff --git a/docs/tags/cpp17/feed.xml b/docs/tags/cpp17/feed.xml deleted file mode 100644 index b1be398..0000000 --- a/docs/tags/cpp17/feed.xml +++ /dev/null @@ -1,89 +0,0 @@ - - - - cpp17 on REPL: Rest-Eat-Program Loop - https://blog.nsfisis.dev/tags/cpp17/ - Recent content in cpp17 on REPL: Rest-Eat-Program Loop - Hugo -- gohugo.io - ja-JP - Sat, 02 Oct 2021 09:38:30 +0900 - - [C++] 属性構文の属性名にはキーワードが使える [[void]] [[for]] - https://blog.nsfisis.dev/posts/2021-10-02/cpp-you-can-use-keywords-in-attributes/ - Sat, 02 Oct 2021 09:38:30 +0900 - - https://blog.nsfisis.dev/posts/2021-10-02/cpp-you-can-use-keywords-in-attributes/ - この記事は Qiita から移植してきたものです。 -元 URL: https://qiita.com/nsfisis/items/94090937bcf860cfa93b

-
-

タイトル落ち。まずはこのコードを見て欲しい。

-
#include <iostream>
-
-[[alignas]] [[alignof]] [[and]] [[and_eq]] [[asm]] [[auto]] [[bitand]]
-[[bitor]] [[bool]] [[break]] [[case]] [[catch]] [[char]] [[char16_t]]
-[[char32_t]] [[class]] [[compl]] [[const]] [[const_cast]] [[constexpr]]
-[[continue]] [[decltype]] [[default]] [[delete]] [[do]] [[double]]
-[[dynamic_cast]] [[else]] [[enum]] [[explicit]] [[export]] [[extern]] [[false]]
-[[final]] [[float]] [[for]] [[friend]] [[goto]] [[if]] [[inline]] [[int]]
-[[long]] [[mutable]] [[namespace]] [[new]] [[noexcept]] [[not]] [[not_eq]]
-[[nullptr]] [[operator]] [[or]] [[or_eq]] [[override]] [[private]]
-[[protected]] [[public]] [[register]] [[reinterpret_cast]] [[return]] [[short]]
-[[signed]] [[sizeof]] [[static]] [[static_assert]] [[static_cast]] [[struct]]
-[[switch]] [[template]] [[this]] [[thread_local]] [[throw]] [[true]] [[try]]
-[[typedef]] [[typeid]] [[typename]] [[union]] [[unsigned]]
-[[virtual]] [[void]] [[volatile]] [[wchar_t]] [[while]] [[xor]] [[xor_eq]]
-// [[using]]
-int main() {
-    std::cout << "Hello, World!" << std::endl;
-}
-
-

コンパイラのバージョン -$ clang++ –version -Apple clang version 11.0.0 (clang-1100.0.33.8) -Target: x86_64-apple-darwin19.6.0 -Thread model: posix -InstalledDir: /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin

-

コンパイルコマンド (C++17指定) -$ clang++ –std=c++17 hoge.cpp

-
-

この記事から得られるものはこれ以上ないので以下は蛇足になる。

-

別件で cppreference.com の identifier のページ を読んでいた時、次の文が目に止まった。

-
-
    -
  • the identifiers that are keywords cannot be used for other purposes; -
      -
    • The only place they can be used as non-keywords is in an attribute-token. (e.g. [[private]] is a valid attribute) (since C++11)
      • -
    -
    • -
-
-

キーワードでも属性として指定する場合は非キーワードとして使えるらしい。 -実際にやってみる。

-

同サイトの [keywords のページ] (https://en.cppreference.com/w/cpp/keyword) から一覧を拝借し、上のコードが出来上がった (C++17 においてキーワードでないものなど、一部省いている)。 -大量の警告 (unknown attribute ‘〇〇’ ignored) がコンパイラから出力されるが、コンパイルできる。

-

上のコードでは [[using]] をコメントアウトしているが、これは using キーワードのみ属性構文の中で意味を持つからであり、このコメントアウトを外すとコンパイルに失敗する。

-
// using の例
-[[using foo: attr1, attr2]] int x; // [[foo::attr1, foo::attr2]] の糖衣構文
-

C++17 の仕様も見てみる (正確には標準化前のドラフト)。

-

引用元: https://timsong-cpp.github.io/cppwp/n4659/dcl.attr#grammar-4

-
-

If a keyword or an alternative token that satisfies the syntactic requirements of an identifier is contained in an attribute-token, it is considered an identifier.

-
-

「identifier の構文上の要件を満たすキーワードまたは代替トークンが attribute-token に含まれている場合、identifier とみなされる」とある。どうやら間違いないようだ。

-

ところで、代替トークン (alternative token) とは and (&) や bitor (|) などのことだが、identifier の構文上の要件を満たさないような代替トークンなどあるのか？ -疑問に思って調べたところ、代替トークンという語にはダイグラフも含まれるらしい (参考: 同ドラフト)

-
    -
  • <% → {
    • -
  • %> → }
    • -
  • <: → [
    • -
  • :> → ]
    • -
  • %: → #
    • -
  • %:%: → ##
    • -
-

「identifier の構文上の要件を満たさないような代替トークン」はこれらが当てはまると思われる。

-

調べた感想: 字句解析器か構文解析器が辛そう

-]]> - - - - diff --git a/docs/tags/cpp17/index.html b/docs/tags/cpp17/index.html deleted file mode 100644 index 3dd9d68..0000000 --- a/docs/tags/cpp17/index.html +++ /dev/null @@ -1,56 +0,0 @@ - - - - - - - - cpp17 | REPL: Rest-Eat-Program Loop - - - - - - - - - - - - - - - -
- -
-
- -

cpp17

- -
-
-

[C++] 属性構文の属性名にはキーワードが使える [[void]] [[for]]

-
-
-

C++ の属性構文の属性名には、キーワードが使える。ネタ記事。

-
-
- Posted on -
- -
- - - - - - diff --git a/docs/tags/cpp17/page/1/index.html b/docs/tags/cpp17/page/1/index.html deleted file mode 100644 index 74e12d4..0000000 --- a/docs/tags/cpp17/page/1/index.html +++ /dev/null @@ -1,10 +0,0 @@ - - - - https://blog.nsfisis.dev/tags/cpp17/ - - - - - - diff --git a/docs/tags/feed.xml b/docs/tags/feed.xml deleted file mode 100644 index b2ed11e..0000000 --- a/docs/tags/feed.xml +++ /dev/null @@ -1,137 +0,0 @@ - - - - Tags on REPL: Rest-Eat-Program Loop - https://blog.nsfisis.dev/tags/ - Recent content in Tags on REPL: Rest-Eat-Program Loop - Hugo -- gohugo.io - ja-JP - Fri, 28 Oct 2022 21:55:23 +0900 - - note-to-self - https://blog.nsfisis.dev/tags/note-to-self/ - Fri, 28 Oct 2022 21:55:23 +0900 - - https://blog.nsfisis.dev/tags/note-to-self/ - - - - - php - https://blog.nsfisis.dev/tags/php/ - Sun, 23 Oct 2022 09:54:07 +0900 - - https://blog.nsfisis.dev/tags/php/ - - - - - phperkaigi - https://blog.nsfisis.dev/tags/phperkaigi/ - Sun, 23 Oct 2022 09:54:07 +0900 - - https://blog.nsfisis.dev/tags/phperkaigi/ - - - - - conference - https://blog.nsfisis.dev/tags/conference/ - Sat, 27 Aug 2022 18:55:28 +0900 - - https://blog.nsfisis.dev/tags/conference/ - - - - - phpcon - https://blog.nsfisis.dev/tags/phpcon/ - Sat, 27 Aug 2022 18:55:28 +0900 - - https://blog.nsfisis.dev/tags/phpcon/ - - - - - my-programs - https://blog.nsfisis.dev/tags/my-programs/ - Sun, 24 Apr 2022 13:22:52 +0900 - - https://blog.nsfisis.dev/tags/my-programs/ - - - - - rust - https://blog.nsfisis.dev/tags/rust/ - Sat, 02 Oct 2021 09:39:27 +0900 - - https://blog.nsfisis.dev/tags/rust/ - - - - - ruby - https://blog.nsfisis.dev/tags/ruby/ - Sat, 02 Oct 2021 09:38:50 +0900 - - https://blog.nsfisis.dev/tags/ruby/ - - - - - ruby3 - https://blog.nsfisis.dev/tags/ruby3/ - Sat, 02 Oct 2021 09:38:50 +0900 - - https://blog.nsfisis.dev/tags/ruby3/ - - - - - cpp - https://blog.nsfisis.dev/tags/cpp/ - Sat, 02 Oct 2021 09:38:30 +0900 - - https://blog.nsfisis.dev/tags/cpp/ - - - - - cpp17 - https://blog.nsfisis.dev/tags/cpp17/ - Sat, 02 Oct 2021 09:38:30 +0900 - - https://blog.nsfisis.dev/tags/cpp17/ - - - - - vim - https://blog.nsfisis.dev/tags/vim/ - Sat, 02 Oct 2021 09:37:25 +0900 - - https://blog.nsfisis.dev/tags/vim/ - - - - - python - https://blog.nsfisis.dev/tags/python/ - Sat, 02 Oct 2021 09:32:37 +0900 - - https://blog.nsfisis.dev/tags/python/ - - - - - python3 - https://blog.nsfisis.dev/tags/python3/ - Sat, 02 Oct 2021 09:32:37 +0900 - - https://blog.nsfisis.dev/tags/python3/ - - - - - diff --git a/docs/tags/index.html b/docs/tags/index.html deleted file mode 100644 index 79ef62b..0000000 --- a/docs/tags/index.html +++ /dev/null @@ -1,44 +0,0 @@ - - - - - - - - Tags | REPL: Rest-Eat-Program Loop - - - - - - - - - - - - - - - -
- -
-
- -

Tags

-
- - - - - - diff --git a/docs/tags/my-programs/feed.xml b/docs/tags/my-programs/feed.xml deleted file mode 100644 index 34cd4bb..0000000 --- a/docs/tags/my-programs/feed.xml +++ /dev/null @@ -1,62 +0,0 @@ - - - - my-programs on REPL: Rest-Eat-Program Loop - https://blog.nsfisis.dev/tags/my-programs/ - Recent content in my-programs on REPL: Rest-Eat-Program Loop - Hugo -- gohugo.io - ja-JP - Sun, 24 Apr 2022 13:22:52 +0900 - - term-banner: ターミナルにバナーを表示するツールを書いた - https://blog.nsfisis.dev/posts/2022-04-24/term-banner-write-tool-showing-banner-in-terminal/ - Sun, 24 Apr 2022 13:22:52 +0900 - - https://blog.nsfisis.dev/posts/2022-04-24/term-banner-write-tool-showing-banner-in-terminal/ - はじめに -

こんなものを作った。

-
$ term-banner 'Hello, World!' 'こんにちは、' '世界！'
-

term-banner のスクリーンショット

-

コマンドライン引数として渡した文字列をターミナルに大きく表示する。

-

リポジトリはこちら: https://github.com/nsfisis/term-banner

-

Motivation

-

以前、big-clock-mode という似たようなプログラムを書いた。 -これは tmux の :clock-mode コマンドに着想を得たもので、:clock-mode よりも大きく現在時刻を表示する。

-

big-clock-mode を開発したのは、次のようなシチュエーションで使うためである。 -弊社では現在リモートワークが基本だが、web 会議などで画面共有しているときに、休憩を挟んで特定の時刻から再開する、ということがある。 -こういったケースで、画面上に現在の時刻を大きめに表示しておくと、モニタから離れても遠くから時刻がわかるので便利である。

-

それこそタイマアプリか何かを使えばいいのだが、ターミナルに棲むいきものとしては、住処から離れたくないわけだ。

-

しばらく便利に使っていたのだが、ひとつ不満点が出てきた。それは、再開する時刻がいつだったかを覚えておかなければならないということだ。 -どこかにメモしておいてもいいが、せっかくなら現在時刻とともに表示させておきたい。

-

そんなわけで、「任意の文字列をターミナルに表示する」プログラムを書く運びとなった。 -まあ、作らなくても探せばあると思うが、作りたいものは作りたいので知ったことではない。

-

プログラム

-

全体の流れは次のようになっている。

-
    -
  1. フォントファイルを読み込む
    2. -
  2. コマンドライン引数を Shift-JIS に変換する (フォントが Shift-JIS 基準で並んでいるため)
    3. -
  3. 1文字ずつレンダリングしていく
    4. -
-

big-clock-mode が Go 製なので、今回も Go で書いた。 -PNG が標準ライブラリにあったり、Shift-JIS のエンコーディングが準標準ライブラリにあったりしたのは助かった。

-

フォントファイルは go:embed で実行ファイルに埋め込んでいるので、ビルド後はワンバイナリで動く。 -仕事ではスクリプト言語ばかり書いているが、やはりコンパイル言語はいい。

-

フォント

-

フリーの 8x8 ビットマップフォントである、美咲フォント 2021-05-05a 版 を使わせていただいた。

-

はじめは自分でポチポチ打っていたのだが、「き」くらいまでやって挫折した。 -同じく 8x8 で作っていたのだが、平仮名でさえも、この小さなキャンバスにはとても収められない。

-

美咲フォントは、平仮名・片仮名に留まらず、JIS 第一・第二水準の漢字までサポートしている。 -第二水準ともなると一生お目にかかることのない字の方が多いくらいだが、これをこの大きさで書くというのは、もはや芸術の域である。

-

さらに言うと、実のところ美咲フォントは実サイズ 7x7 で作られており、余白が設けられている。 -これは、単純にそのまま並べても字間・行間を確保できるようにという配慮である。 -おかげでコーディングまで楽になった。

-

ゴシック体と明朝体があったが、私の好みで明朝体の方にした。 -ただ、ゴシック体の方が見やすい気がするので、フォントを選べるように後ほど拡張するかもしれない。

-

2022-04-27 追記: -f オプションで選べるようにした。

-

おわりに

-

あなたもターミナルに住んでみませんか？

-]]> - - - - diff --git a/docs/tags/my-programs/index.html b/docs/tags/my-programs/index.html deleted file mode 100644 index bc71599..0000000 --- a/docs/tags/my-programs/index.html +++ /dev/null @@ -1,56 +0,0 @@ - - - - - - - - my-programs | REPL: Rest-Eat-Program Loop - - - - - - - - - - - - - - - -
- -
-
- -

my-programs

- -
-
-

term-banner: ターミナルにバナーを表示するツールを書いた

-
-
-

ターミナルに任意の文字のバナーを表示するためのツールを Go で書いた。

-
-
- Posted on , updated on -
- -
- - - - - - diff --git a/docs/tags/my-programs/page/1/index.html b/docs/tags/my-programs/page/1/index.html deleted file mode 100644 index 36f7d78..0000000 --- a/docs/tags/my-programs/page/1/index.html +++ /dev/null @@ -1,10 +0,0 @@ - - - - https://blog.nsfisis.dev/tags/my-programs/ - - - - - - diff --git a/docs/tags/note-to-self/feed.xml b/docs/tags/note-to-self/feed.xml deleted file mode 100644 index 2a8f961..0000000 --- a/docs/tags/note-to-self/feed.xml +++ /dev/null @@ -1,123 +0,0 @@ - - - - note-to-self on REPL: Rest-Eat-Program Loop - https://blog.nsfisis.dev/tags/note-to-self/ - Recent content in note-to-self on REPL: Rest-Eat-Program Loop - Hugo -- gohugo.io - ja-JP - Fri, 28 Oct 2022 21:55:23 +0900 - - [備忘録] このサイト用の VPS をセットアップしたときのメモ - https://blog.nsfisis.dev/posts/2022-10-28/setup-server-for-this-site/ - Fri, 28 Oct 2022 21:55:23 +0900 - - https://blog.nsfisis.dev/posts/2022-10-28/setup-server-for-this-site/ - はじめに -

これまでこの blog は GitHub Pages でホストしていたのだが、先日 VPS に移行した。そのときにおこなったサーバのセットアップ作業を書き残しておく。99 % 自分用の備忘録。別のベンダに移したりしたくなったら見に来る。

-

未来の自分へ: 特に自動化してないので、せいぜい苦しんでくれ。

-

VPS

-

さくらの VPS の 2 GB プラン。そこまで真面目に選定していないので、困ったら移動するかも。

-

事前準備

-

サーバのホスト名を決める

-

モチベーションが上がるという効能がある。今回は藤原定家から取って “teika” にした。たいていいつも源氏物語の帖か小倉百人一首の歌人から選んでいる。

-

SSH の鍵生成

-

ローカルマシンで鍵を生成する。

-
$ ssh-keygen -t ed25519 -b 521 -f ~/.ssh/teika.key
-$ ssh-keygen -t ed25519 -b 521 -f ~/.ssh/github2teika.key
-

teika.key はローカルからサーバへの接続用、github2teika.key は、GitHub Actions からサーバへのデプロイ用。

-

SSH の設定

-

.ssh/config に設定しておく。

-
Host teika
-    HostName **********
-    User **********
-    Port **********
-    IdentityFile ~/.ssh/teika.key
-

基本のセットアップ

-

SSH 接続

-

VPS 契約時に設定した管理者ユーザとパスワードを使ってログインする。

-

ユーザを作成する

-

管理者ユーザで作業すると危ないので、メインで使うユーザを作成する。sudo グループに追加して sudo できるようにし、su で切り替え。

-
$ sudo adduser **********
-$ sudo adduser ********** sudo
-$ su **********
-$ cd
-

ホスト名を変える

-
$ sudo hostname teika
-

公開鍵を置く

-
$ mkdir ~/.ssh
-$ chmod 700 ~/.ssh
-$ vi ~/.ssh/authorized_keys
-

authorized_keys には、ローカルで生成した ~/.ssh/teika.key.pub と ~/.ssh/github2teika.key.pub の内容をコピーする。

-

SSH の設定

-

SSH の設定を変更し、少しでも安全にしておく。

-
$ sudo cp /etc/ssh/sshd_config /etc/ssh/sshd_config.bak
-$ sudo vi /etc/ssh/sshd_config
-
    -
  • Port を変更
    • -
  • PermitRootLogin を no に
    • -
  • PasswordAuthentication を no に
    • -
-

そして設定を反映。

-
$ sudo systemctl restart sshd
-$ sudo systemctl status sshd
-

SSH で接続確認

-

今の SSH セッションは閉じずに、ターミナルを別途開いて疎通確認する。セッションを閉じてしまうと、SSH の設定に不備があった場合に締め出しをくらう。

-
$ ssh teika
-

ポートの遮断

-

デフォルトの 22 番を閉じ、設定したポートだけ空ける。

-
$ sudo ufw deny ssh
-$ sudo ufw allow *******
-$ sudo ufw enable
-$ sudo ufw reload
-$ sudo ufw status
-

ここでもう一度 SSH の接続確認を挟む。

-

GitHub 用の SSH 鍵

-

GitHub に置いてある private リポジトリをサーバから clone したいので、SSH 鍵を生成して置いておく。

-
$ ssh-keygen -t ed25519 -b 521 -f ~/.ssh/github.key
-$ cat ~/.ssh/github.key.pub
-

GitHub の設定画面 から、この公開鍵を追加する。

-
$ vi ~/.ssh/config
-

設定はこう。

-
Host github.com
-    HostName github.com
-    User git
-    IdentityFile ~/.ssh/github.key
-

最後に接続できるか確認しておく。

-
ssh -T github.com
-

パッケージの更新

-
$ sudo apt update
-$ sudo apt upgrade
-$ sudo apt update
-$ sudo apt upgrade
-$ sudo apt autoremove
-

サイトホスティング用のセットアップ

-

DNS に IP アドレスを登録する

-

このサーバは固定の IP アドレスがあるので、A レコードに直接入れるだけで済んだ。

-

使うソフトウェアのインストール

-
$ sudo apt install docker docker-compose git make
-

メインユーザが Docker を使えるように

-
sudo adduser ********** docker
-

HTTP/HTTPS を通す

-

80 番と 443 番を空ける。

-
$ sudo ufw allow 80/tcp
-$ sudo ufw allow 443/tcp
-$ sudo ufw reload
-$ sudo ufw status
-

リポジトリのクローン

-
$ cd
-$ git clone git@github.com:nsfisis/nsfisis.dev.git
-$ cd nsfisis.dev
-$ git submodule update --init
-

certbot で証明書取得

-
$ docker-compose up -d acme-challenge
-$ make setup
-

サーバを稼動させる

-
$ make serve
-

感想

-

(業務でなく) 個人だと数年ぶりのサーバセットアップで、これだけでも割と時間を食ってしまった。とはいえ式年遷宮は楽しいので、これからも定期的にやっていきたい。コンテナデプロイにしたい気持ちもあるのだが、色々実験したい関係上、本物のサーバも欲しくはある。次の式年遷宮では、手順の一部だけでも自動化したいところ。

-]]> - - - - diff --git a/docs/tags/note-to-self/index.html b/docs/tags/note-to-self/index.html deleted file mode 100644 index 0539b70..0000000 --- a/docs/tags/note-to-self/index.html +++ /dev/null @@ -1,57 +0,0 @@ - - - - - - - - note-to-self | REPL: Rest-Eat-Program Loop - - - - - - - - - - - - - - - -
- -
-
- -

note-to-self

- -
-
-

[備忘録] このサイト用の VPS をセットアップしたときのメモ

-
-
-

GitHub Pages でホストしていたこのサイトを VPS へ移行したので、 -そのときにやったことのメモ。99 % 自分用。

-
-
- Posted on -
- -
- - - - - - diff --git a/docs/tags/note-to-self/page/1/index.html b/docs/tags/note-to-self/page/1/index.html deleted file mode 100644 index 3d56366..0000000 --- a/docs/tags/note-to-self/page/1/index.html +++ /dev/null @@ -1,10 +0,0 @@ - - - - https://blog.nsfisis.dev/tags/note-to-self/ - - - - - - diff --git a/docs/tags/page/1/index.html b/docs/tags/page/1/index.html deleted file mode 100644 index 2dbd4ae..0000000 --- a/docs/tags/page/1/index.html +++ /dev/null @@ -1,10 +0,0 @@ - - - - https://blog.nsfisis.dev/tags/ - - - - - - diff --git a/docs/tags/php/feed.xml b/docs/tags/php/feed.xml deleted file mode 100644 index 32be73a..0000000 --- a/docs/tags/php/feed.xml +++ /dev/null @@ -1,1493 +0,0 @@ - - - - php on REPL: Rest-Eat-Program Loop - https://blog.nsfisis.dev/tags/php/ - Recent content in php on REPL: Rest-Eat-Program Loop - Hugo -- gohugo.io - ja-JP - Sun, 23 Oct 2022 09:54:07 +0900 - - PHPerKaigi 2023: ボツになったトークン問題 その 1 - https://blog.nsfisis.dev/posts/2022-10-23/phperkaigi-2023-unused-token-quiz-1/ - Sun, 23 Oct 2022 09:54:07 +0900 - - https://blog.nsfisis.dev/posts/2022-10-23/phperkaigi-2023-unused-token-quiz-1/ - はじめに -

2023 年 3 月 23 日から 25 日にかけて開催予定 (記事執筆時点) の、PHPerKaigi 2023 において、昨年と同様に、弊社デジタルサーカス株式会社 から、トークン問題を出題予定である。

-

昨年のトークン問題の記事はこちら: PHPerKaigi 2022 トークン問題の解説

-

すでに 2023 年用の問題は作成済みであるが、その制作過程の中でいくつかボツ問ができた。せっかくなので、PHPerKaigi 開催を待つ間に紹介しようと思う。

-

10 月から 2 月まで、毎月 1 記事ずつ公開していく予定 (忘れていなければ)。

-

問題

-

注意: これはボツ問なので、得られたトークンを PHPerKaigi で入力してもポイントにはならない。

-
<?php
-
-$π = $argv[1] ?? null;
-if ($π === null) {
-  exit('No input.');
-}
-$π = trim($π);
-if (!is_numeric($π)) {
-  exit('Invalid input.');
-}
-
-$s = implode(array_map(chr(...), str_split($π, 2)));
-
-preg_match('/(\x23.+?) /', $s, $m);
-$t = $m[1] ?? '';
-
-if (md5($t) === '056e831a4146bf123e8ea16613303d2e') {
-  echo "Token: {$t}\n";
-} else {
-  echo "Failed.\n";
-}
-

トークン入手方法

-

ソースを見るとわかるとおり、$argv[1] を参照している。それを $π なる変数に代入しているので、円周率を渡してみる。

-
$ php Q.php 3.14
-Failed.
-

失敗してしまった。精度を上げてみる。

-
$ php Q.php 3.1415
-Failed.
-

だめだった。これを成功するまで繰り返す。

-

最初にトークンが得られるのは、小数点以下 16 桁目まで入力したときで、こうなる。

-
$ php Q.php 3.1415926535897932
-Token: #YO
-

めでたくトークン「#YO」が手に入った。

-

解説

-

短いので頭から追っていく。

-
$π = $argv[1] ?? null;
-if ($π === null) {
-  exit('No input.');
-}
-$π = trim($π);
-if (!is_numeric($π)) {
-  exit('Invalid input.');
-}
-

入力のバリデーション部分。数値のみ受け付ける。

-
$s = implode(array_map(chr(...), str_split($π, 2)));
-

$π を 2 文字ごとに区切り (str_split)、数値を ASCII コードと見做して文字に変換 (chr) して結合 (implode) している。

-

例えば、$π が '656667' だったとすると、65、66、67 に対応した 'A'、'B'、'C' へと変換され、'ABC' になる。

-
$π = '656667';
-$s = implode(array_map(chr(...), str_split($π, 2)));
-echo $s;
-// => ABC
-
preg_match('/(\x23.+?) /', $s, $m);
-$t = $m[1] ?? '';
-

正規表現でマッチングしている。\x23 は # と同じであることに留意すると、この正規表現は「# から始まる 2 以上の長さ (含 #) の文字列で、最初に現れるスペースまで」にマッチする。つまりこれは、PHPerKaigi におけるトークンである。

-

なお、# を直接書いていないのは、/#.+?) / と書くと、#.+?) という意図せぬトークンが登録されてしまうからである。

-
if (md5($t) === '056e831a4146bf123e8ea16613303d2e') {
-  echo "Token: {$t}\n";
-} else {
-  echo "Failed.\n";
-}
-

最後にトークンのハッシュ値を見て、想定解かどうかを確認する。

-

おわりに

-

円周率を何桁も計算して ASCII コード経由で文字列化すれば、トークンっぽいものがどこかで出てくるのではないか、と考えて生まれた作品。

-

最初は真面目に円周率の計算プログラムを組んでいたのだが、いざ動かしてみるとやけに浅いところにあったので驚いた (ちなみに、それでも M_PI や pi() では精度が足りない)。見つけたときは狂喜したものの、冷静になってみると大して面白くなかったのでボツになった。むしろ、100 万桁目くらいに埋まっていてくれたほうがよかったかもしれない。

-]]> - - - - [PHP] fizzbuzz を書く。1行あたり2文字で。 - https://blog.nsfisis.dev/posts/2022-09-29/write-fizzbuzz-in-php-2-letters-per-line/ - Thu, 29 Sep 2022 00:50:52 +0900 - - https://blog.nsfisis.dev/posts/2022-09-29/write-fizzbuzz-in-php-2-letters-per-line/ - 記事の構成について -

この記事は、普通の fizzbuzz を徐々に変形して最終形にしていく、という構成で書かれている。最終形を見てどのような仕組みで動いているのか解読してから解説を読みたい、というかたがいれば、 このページ にソースコードがあるので、そちらを先に見てほしい。

-

レギュレーション

-

PHP で、次のような制約の下に fizzbuzz を書いた。

-
    -
  • 1行あたりの文字数は2文字までに収めること (ただし <?php タグは除く) -
      -
    • 厳密な定義: <?php タグ以降のソースコードが、2 byte ごとに ラインフィード (LF) で区切られること
      • -
    -
    • -
  • スペースやタブを使用しないこと
    • -
  • ループのアンロールをしないこと -
      -
    • 100 回ループの代わりに 100 回コードをコピペ、というのは禁止
      • -
    -
    • -
  • PHP 7.4〜8.1 で動作すること
    • -
  • 実行時に Notice や Warning が出ないこと
    • -
  • 標準的なインストール構成の PHP で実現できること (デフォルトで有効になっていない拡張等を使わないこと)
    • -
-

備考: PHP には short_open_tag というオプションがあり、これを有効にするとファイル冒頭の <?php の代わりに <? を使うことができ、文字どおり1行2文字で書ける。ただ、このオプションはデフォルト off になっている環境が多いようなので、今回は使わないことにした。

-

主な障害

-

1行あたりの文字数など、適当に改行を挟めばいいだけではないのか？

-

特に、C言語でこのような試みをおこなったことがあるかたならそう思うだろう。事実、Cでのこの制約はほとんど無意味に等しい。

-
#\
-i\
-n\
-c\
-l\
-u\
-d\
-e\
-<\
-s\
-t\
-d\
-i\
-o\
-.\
-h\
->\
-/*
-*/
-i\
-n\
-t\
-/*
-*/
-m\
-a\
-i\
-n(
-){
-f\
-o\
-r(
-i\
-n\
-t\
-/*
-*/
-i=
-1;
-i<
-1\
-0\
-0;
-i\
-+\
-+)
-if
-(i
-%\
-15
-==
-0)
-p\
-r\
-i\
-n\
-t\
-f(
-"\
-F\
-i\
-z\
-z\
-B\
-u\
-z\
-z\
-%\
-c\
-",
-10
-);
-
-/* あとは同じように普通のプログラムを変形するだけなので省略 */
-

バックスラッシュを使った行継続がトークンを区切らない、というのがポイントだ。

-

さて、PHP ではそもそもバックスラッシュを行継続に使うことができない。これにより、「3文字以上からなるトークンが一切使えない」という制約が課される。例えば、echo で出力することや、for でループすること、new でインスタンスを生成することができない。特に、出力は fizzbuzz をどんなアルゴリズムで実装しようとおこなわなければならないので、できないのは致命的である。

-

当然、名前が3文字以上ある関数も使えない。なお、標準 PHP の範囲内において、名前が 2文字以下の関数は以下のとおりである:

-
    -
  • _: gettext のエイリアス
    • -
  • dl: 拡張モジュールをロードする
    • -
  • pi: 円周率を返す
    • -
-

(環境によって多少は変わるかも)

-

2文字の関数を定義しまくった拡張モジュールを用意しておいて dl() で読み込む行為は、レギュレーションで定めた

-
-
    -
  • 標準的なインストール構成の PHP で実現できること (デフォルトで有効になっていない拡張等を使わないこと)
    • -
-
-

に反する (というより、「それだとおもしろくもなんともないので、このルールを足した」というのが正しい)。

-

また、2文字だと文字列がまともに書けないのも辛い。'' だけで 2文字使うので、「1文字の文字列リテラル」というものを書くことができない。PHP では文字列リテラル中に生の改行が書けるので

-
$a
-='
-a'
-;;
-

とすると $a は "\na" になるのだが、余計な改行が入ってしまう。

-

これらの障害をどのように乗り越えるのか、次節から見ていく。

-

解説

-

普通の (?) fizzbuzz

-

まずは普通に書くとしよう。

-
<?php
-
-for ($i = 1; $i < 100; $i++) {
-  echo (($i % 3 ? '' : 'Fizz') . ($i % 5 ? '' : 'Buzz') ?: $i) . "\n";
-}
-

素直に書いた fizzbuzz とは言い難いが、このくらいは普通だということにしておかないと、この先がやっていられないので許してほしい。

-

for の排除

-

for は、3文字もある長いキーワードである。こんなものは使えない。array_ 系の関数を使って、適当に置き換えるとしよう。

-
<?php
-
-$s = range(1, 100);
-array_walk(
-  $s,
-  fn($i) =>
-    printf((($i % 3 ? '' : 'Fizz') . ($i % 5 ? '' : 'Buzz') ?: $i) . "\n"),
-);
-

array_walk や range、printf といった for よりも長いトークンが現れてしまったが、これは次節で直すことにする。なお、echo は文 (statement) であり式 (expression) ではないので、式である printf に置き換えた。

-

関数呼び出しの短縮

-

range、array_walk、printf は長すぎるのでどうにかせねばならない。ここで、PHP の可変関数を使う。可変関数とは、関数名が文字列として入った変数を経由して、関数を呼び出す機能である。

-
<?php
-
-$r = 'range';
-$w = 'array_walk';
-$p = 'printf';
-
-$s = $r(1, 100);
-$w(
-  $s,
-  fn($i) =>
-    $p((($i % 3 ? '' : 'Fizz') . ($i % 5 ? '' : 'Buzz') ?: $i) . "\n"),
-);
-

これで関数を呼び出している所は短くなった。では、$r や $w や $p、また 'Fizz' や 'Buzz' はどうやって 1行2文字に収めるのか。次のテクニックへ移ろう。

-

余談: PHP 8.x で動作しなくてもいいなら

-

今回使ったテクニックを説明する前に、余談として、文字列リテラルの短縮法として今回採用しなかったものを紹介する。

-
-
    -
  • PHP 7.4〜8.1 で動作すること
    • -
-
-

というルールがない場合、「未定義の定数が評価された場合、その定数の名前が値になる」という PHP 7.x までの仕様が利用できる。例えば、 Fizz という文字列が欲しければ、次のようにする。

-
$f
-=F
-.i
-.z
-.z
-;;
-

こうして簡単に文字列を作れる。なお、この仕様は 7.x 時点でも警告を受けるので、@ 演算子を使って抑制してやるとよい。

-
$f
-=@
-F.
-@i
-.#
-@z
-.#
-@z
-;;
-

むしろ、このことがわかっていたからこそ PHP 8.x での動作を要件に課したところがある。

-

文字列リテラルの短縮

-

実際に使った手法の説明に移る。

-

ずばり、文字列同士のビット演算を使う。PHP では、文字列同士でビット演算 (&、|、^) をした場合、文字列の各バイトごとに指定したビット演算がなされ、それを結合したものが演算結果となる。

-
$a = "12345";
-$b = "world";
-
-// $a ^ $b は次のコードと同じ
-$result = '';
-for ($i = 0; $i < min(strlen($a), strlen($b)); $i++) {
-  $result .= $a[$i] ^ $b[$i];
-}
-
-echo $result;
-// => F]AXQ
-

これを踏まえ、次のコードを見てみよう。

-
$x = "x\nOm\n";
-$y = "\nk!\no";
-$r = $x ^ $y;
-echo "$r\n";
-

実行すると、range が表示される。さて、PHP では文字列リテラル中に生の改行を直接書いてもよいのだった (「主な障害」の節を参照のこと)。書きかえてみよう。

-
$x
-='x
-Om
-';
-$y
-='
-k!
-o'
-;
-
-$r = $x ^ $y;
-echo "$r\n";
-

さらに # を使って適当に調整すると、次のようになる。

-
$x
-=#
-'x
-Om
-';
-$y
-='
-k!
-o'
-;#
-$r
-=#
-$x
-^#
-$y
-;#
-
-echo "$r\n";
-

1行あたり2文字で、range という文字列を生成することに成功した。他の必要な文字列にも、同様の処理をほどこす。

-

備考: Buzz 中にある小文字の u は、このロジックだと non-printable な文字になってしまう。ここまでのテクニックを駆使すれば回避するのはそう難しくないので、考えてみてほしい。

-

完成系

-

完成したものがこちら。

-
<?php
-
-$x
-=#
-'i
-S'
-;;
-$y
-='
-b!
-';
-$c
-=#
-$x
-^#
-$y
-;#
-$x
-=#
-'x
-Om
-';
-$y
-='
-k!
-o'
-;#
-$r
-=#
-$x
-^#
-$y
-;#
-$x
-=#
-'k
-Sk
-~}
-Ma
-';
-$y
-='
-x!
-s!
-k!
-';
-$w
-=#
-$x
-^#
-$y
-;#
-$x
-=#
-'z
-Hd
-G'
-;#
-$y
-='
-x!
-~!
-';
-$p
-=#
-$x
-^#
-$y
-;#
-$x
-=#
-'L
-[p
-';
-$y
-='
-c!
-';
-$f
-=#
-$x
-^#
-$y
-;#
-$x
-=#
-'H
-[p
-';
-$y
-='
-_!
-';
-$b
-=#
-$x
-^#
-$y
-;#
-$b
-[1
-]=
-$c
-(#
-13
-*9
-);
-$s
-=#
-$r
-(1
-,(
-10
-**
-2)
-);
-$w
-(#
-$s
-,#
-fn
-(#
-$i
-)#
-=>
-$p
-((
-(#
-$i
-%3
-?#
-''
-:#
-$f
-).
-(#
-$i
-%5
-?#
-''
-:#
-$b
-)?
-:#
-$i
-)#
-.'
-')
-);
-

感想など

-

PHP は、スクリプト言語の中だとシンタックスシュガーが少ない (体感)。この挑戦は不可能に思われたが、PHP マニュアルとにらめっこしていたらなんとかなった。

-

みんなもプログラムを細長くしよう。

-

余談2: 別解

-

PHP では、バッククォートを使ってシェルを呼び出せる。これは shell_exec 関数と等価である。さて、PHP ではバックスラッシュによる行継続が使えないと書いたが、シェルでは使える (当然だが、呼び出されるシェルに依存する。Bash なら大丈夫だろう。知らんけど)。

-
<?php
-
-printf(`
-e\
-c\
-h\
-o\
- \
-1\
-2\
-3\
-`);
-

なお、ここでは簡単のため出力に printf をそのまま使っているが、実際には printf という文字列を合成して可変関数で呼び出す。

-

ただし、これでは

-
-
    -
  • スペースやタブを使用しないこと
    • -
-
-

に違反してしまう。スペースが使えないと引数とコマンドを区切れない。これは困った。

-

もうこれ以上は不可能だと思っていたのだが、この記事の執筆中に解決する方法を思いついたので載せておく。

-
<?php
-
-$c = 'chr';
-
-${
-'_
-'}
-=#
-$c
-(#
-32
-).
-$c
-(#
-92
-);
-
-printf(`
-e\
-c\
-h\
-o\
-${
-'_
-'}
-1\
-2\
-3\
-`);
-

先程と同じく、chr や printf を生成する部分は長くなるので省いた。

-
${
-'_
-'}
-

は変数で、中にはスペースとエスケープが入っている (chr(32) . chr(92))。シェルに渡されている文字列は次のようになる。

-
e\
-c\
-h\
-o\
- \
-1\
-2\
-3\
-

これは、前掲したコマンドと同じだ。かくして、スペースを陽に書かずにシェルをおおよそ自由に扱えるようになった。Fizzbuzz のワンライナーくらいすぐ書けるだろうから、あとはなんとかなるだろう (試してないけど)。

-

ということでこれは別解ということにしておく。

-

ちなみに、PHP 8.2 からは、この記法で Warning が出るようになるようだ。

-
${
-'_
-'}
-

最新版で警告が出るというのも美しくないので、私としては本編の解法を推す。

-]]> - - - - PHP カンファレンス沖縄で出題されたコードゴルフの問題を解いてみた - https://blog.nsfisis.dev/posts/2022-08-27/php-conference-okinawa-code-golf/ - Sat, 27 Aug 2022 18:55:28 +0900 - - https://blog.nsfisis.dev/posts/2022-08-27/php-conference-okinawa-code-golf/ - はじめに -

本日 PHP カンファレンス沖縄 2022 が開催された (らしい)。

-

カンファレンスには参加できなかったものの、懇親会の LT で出題されたコードゴルフの問題が Twitter に流れてきたので、解いてみた。

-

ツイート: https://twitter.com/m3m0r7/status/1563397620231712772
-スライド: https://speakerdeck.com/memory1994/php-conference-okinawa-2022-extra?slide=3

-

解

-

細かいレギュレーションは不明だったので、勝手に定めた。

-
    -
  • コマンドライン引数の第1引数で受けとる
    • -
  • 結果は標準出力に出す
    • -
  • コンマの直後にはスペースを1つ置く
    • -
  • 末尾コンマは禁止
    • -
  • 数字でないものは入ってこないものとする
    • -
  • 負数は入ってこないものとする
    • -
-

書いたものがこちら:

-
[<?php $n=$argv[1];foreach([1e4,5e3,2e3,1e3,500,100,50,10,5,1]as$x)for(;$n>=$x;$n-=$x)$r[]=$x;echo implode(', ',$r??[]);?>]
-

しめて 123 バイトとなった (末尾改行を含めずにカウント)。

-

こちらは改行とスペースを追加したバージョン:

-
[<?php
-
-$n = $argv[1];
-foreach ([1e4, 5e3, 2e3, 1e3, 500, 100, 50, 10, 5, 1] as $x)
-  for (; $n >= $x; $n -= $x)
-    $r[] = $x;
-echo implode(', ', $r ?? []);
-
-?>]
-

使用したテクニック

-

指数表記

-

割と多くの言語のゴルフで使えるテクニック。e を用いた指数表記で、大きな数を短く表す。このコードでは 10000、5000、2000、1000 を指数表記している。

-

foreach や for の中身を1つの文に

-

foreach、for、if などの後ろには、通常 { を続けて複数の文を連ねるが、中身の文を1つにしてしまえば、{ と } を省略できる。C言語などでも使える。

-

$r に初期値を入れない

-

PHP では、$r[] = ... のような配列の末尾に追加する式を実行したとき、$r が未定義だった場合は $r を勝手に定義して空の配列で初期化してくれる。これを利用すると、$r = []; のような初期化が不要になる。

-

ただし、プログラムに 0 が渡されるとループを一度も回らないので、$r が未定義になってしまい、implode() に渡すところでエラーになる。それを防ぐために $r ?? [] を使っている。

-

もし 0 が渡されたケースを無視するなら、これが不要になるので 4 バイト縮む。

-

PHP タグの外に文字列を置く

-

PHP では、<?php ?> で囲われた部分の外側にある文字列は、そのまま出力される。今回のケースでは、先頭と末尾に必ず [ と ] を出力するので、そのまま書いてやればよい。

-

おわりに

-

最後になりましたが、めもりー さん、楽しい問題をありがとうございました。

-]]> - - - - PHPerKaigi 2022 - https://blog.nsfisis.dev/posts/2022-05-01/phperkaigi-2022/ - Sun, 01 May 2022 09:41:39 +0900 - - https://blog.nsfisis.dev/posts/2022-05-01/phperkaigi-2022/ - はじめに -

2022-04-09 から 2022-04-11 にかけて開催された、PHPerKaigi 2022 に、一般参加者として参加した。 -弊社デジタルサーカス株式会社 はダイヤモンドスポンサーとなっており、スポンサー枠のチケットを使わせていただいた。

-

昨年のレポートはこちら。

-

感想

-

厳選おすすめトーク

-

多くの素晴らしいトークの中から、特におすすめのものを 5つ選んだ。是非聞いてほしい。引用部分は、リンク先プロポーザルから引用している。

-

予防に勝る防御なし - 堅牢なコードを導く様々な設計のヒント

-
-

PHP はバージョンを追う毎に型宣言、例外、表明、列挙型などの機能が大幅に強化され、堅牢なコードを書くための機能が充実してきました。それらの機能はどう使うと効果的なのでしょうか。

-

本講演では PHP 8.1 をベースにして、誤りを想定してチェックするのではなく、そもそも誤りにくい設計とはどのようなものか、つまり「予防」の観点を軸足に、堅牢なコードを導くための様々な設計のヒントをご紹介します。

-
-

PHPのエラーを理解して適切なエラーハンドリングを学ぼう

-
-

PHPを使ってるとよく遭遇する Fatal error / Parse error / Warning / Notice 理解していますか？
-これらのエラー文を理解することで、すぐにエラーの原因に気付き適切に対象できる様になります！
-またそれらを理解した上でのエラーハンドリングを学びましょう。

-
-

エラー監視とテスト体制への改善作戦

-
-

毎日流れてくるエラーに皆さんはどう向き合ってますか？
-エラーを出さない事が一番ですが、完全に塞ぐ事は難しいと考えます。
-サービス運用の中で本番環境から発生するエラー（サーバー・クライアントサイド・サードパーティ起因のエラー）への監視体制と、
-エラー・バグ防御のためチームで行っているテストコード文化づくりの話をします。

-
-

ISUCON11のPHP実装は、何を考え、どのようにして作られていたのか

-
-

昨年開催されたISUCON11にて問題（参考実装）のPHPへの移植を担当させていただきました。

-

最終的なソースコードこそシンプルなWebアプリケーションではありますが、その裏には
-・「（私の思う）良い設計」を実現するための意思決定
-・「ISUCONの問題」という位置付けに由来する取捨選択
-・移植中に遭遇したトラブルとその解決策
-といった文脈や葛藤が存在しています。

-

本発表はそれらを共有することで
-・PHPアプリケーションの設計、実装事例として役立ててもらう
-・ISUCONの言語移植に興味を持ってもらう
-・ISUCON問題移植の「実装や設計の練習をする教材」としての可能性を知ってもらう
-ことを目的とします。

-
-

チームの仕事はまわっていたけど、メンバーはそれぞれモヤモヤを抱えていた話──40名の大規模開発チームで1on1ログを公開してみた

-
-

サイボウズの大企業向けグループウェアのGaroon（ガルーン）は、PHPで開発されている20年目の製品です。ガルーン開発チームは日本で40名、ベトナムで50名の計90名ほどのチームになっています。また、コロナ禍でフルリモートでの活動がこの2年ほど継続してきました。

-

フルリモートになっても仕事はまわっており、継続的にリリースはしていましたが、一方でお互いの考えていることや感じている問題意識が見えづらくなり、モヤモヤを抱えているメンバーが増えていました。

-

このセッションでは、そういう状況で私がチーム外からジョインし、聴き役に徹しながら見える化することで状況を改善していった取り組みを紹介します。同じように大きなチームやリモートワークで難しさを感じている人に、難しさの原因への気づきや取り組みへのヒントがあれば幸いです。

-
-

トークン問題の作成

-

今回は、PHPer チャレンジ用に弊社のトークン問題を 3題作成した。こちらについては別途記事にしているので、そちらを参照されたい。

-

PHPer チャレンジ

-

1位になった。
-また、賞品として Echo Show 15 をいただいた。

-

カンファレンス全体への感想

-

去年の参加レポ では、こんなことを書いた。

-
-

1つ個人的な反省点としては、(中略) Discord しかりアンカンファレンスしかり「このイベントのこの瞬間にしかないコンテンツ」に触れずに、後から見返せる発表やスライドに注力してしまった、ということだ。発表の詳細な見直しはあとからできるのだから、今しかできないことを考えるべきだった。
-まあ初カンファレンスだし、とお茶を濁しておこう。

-
-

この反省を踏まえ、今年は積極的にほかの場 (公式の Discord サーバや、アンカンファレンス) にも参加した。
-これにより、参加体験の質がはるかに向上した。特に Discord に関しては、登壇者ご本人による補足や、質問への回答などがおこなわれる (ことが多い) ため、特別な理由のない限り、発言はしないまでも参加はしておいたほうが良いと思われる。

-

なお、アンカンファレンスについては、1日目の終わりにトークン問題の解説放送もおこなった。

-

また、今年はオフラインとオンラインのハイブリッド開催であったが、去年の全オンラインと比べて、オンライン参加の体験が落ちていなかったのは、特筆すべきであろう。 -今年は 3回目のワクチン接種が間に合わなかったこともあり現地参加は見送ったのだが、来年は是非オフラインで参加したい。

-

そして来年へ……?

-

PHPerKaigi 2023 があるかどうか存じ上げないが、あるとすれば、次の 4つを目標としたい。

-
    -
  • プロポーザルを出す
    • -
  • PHPer チャレンジのトークン問題を 5題作成する
    • -
  • 現地に行く
    • -
  • PHPer チャレンジで圧勝する
    • -
-
-

最後になりましたが、PHPerKaigi のスタッフ、スポンサー、スピーカーのみなさん、素敵な時間をありがとうございました。

-

ではまた来年。

-]]> - - - - PHPerKaigi 2022 トークン問題の解説 - https://blog.nsfisis.dev/posts/2022-04-09/phperkaigi-2022-tokens/ - Sat, 09 Apr 2022 21:50:19 +0900 - - https://blog.nsfisis.dev/posts/2022-04-09/phperkaigi-2022-tokens/ - はじめに -

本日開始された PHPerKaigi 2022 の PHPer チャレンジにおいて、弊社 デジタルサーカス株式会社 の問題を 3問作成した。この記事では、これらの問題の解説をおこなう。

-

リポジトリはこちら: https://github.com/nsfisis/PHPerKaigi2022-tokens

-

第1問 brainf_ck.php

-

ソースコードはこちら。実行には PHP 8.1 以上が必要なので注意。

-
<?php
-
-declare(strict_types=0O1);
-
-namespace Dgcircus\PHPerKaigi\Y2022;
-
-/**
- * @todo
- * Run this program to acquire a PHPer token.
- */
-
-https://creativecommons.org/publicdomain/zero/1.0/
-
-\error_reporting(~+!'We are hiring!');
-
-$z = fn($f) => (fn($x) => $f(fn(...$xs) => $x($x)(...$xs)))(fn($x) => $f(fn(...$xs) => $x($x)(...$xs)));
-$id = \spl_object_id(...);
-$put = fn($c) => \printf('%c', $c);
-$mm = fn($p, $n) => new \ArrayObject(\array_fill(+!![], $n, $p));
-
-$👉 = fn($m, $p, $b, $e, $mp, $pc) => [++$mp, ++$pc];
-$👈 = fn($m, $p, $b, $e, $mp, $pc) => [--$mp, ++$pc];
-$👍 = fn($m, $p, $b, $e, $mp, $pc) => [$mp, ++$pc, ++$m[$mp]];
-$👎 = fn($m, $p, $b, $e, $mp, $pc) => [$mp, ++$pc, --$m[$mp]];
-$📝 = fn($m, $p, $b, $e, $mp, $pc) => [$mp, ++$pc, $put($m[$mp])];
-$🤡 = fn($m, $p, $b, $e, $mp, $pc) => match ($m[$mp]) {
-    +!![] => [$mp, $z(fn($loop) => fn($pc, $n) => match ($id($p[$pc])) {
-      $b => $loop(++$pc, ++$n),
-      $e => $n === +!![] ? ++$pc : $loop(++$pc, --$n),
-      default => $loop(++$pc, $n),
-    })($pc, -![])],
-    default => [$mp, ++$pc],
-};
-$🎪 = fn($m, $p, $b, $e, $mp, $pc) => match ($m[$mp]) {
-    +!![] => [$mp, ++$pc],
-    default => [$mp, $z(fn($loop) => fn($pc, $n) => match ($id($p[$pc])) {
-      $e => $loop(--$pc, ++$n),
-      $b => $n === +!![] ? $pc+![] : $loop(--$pc, --$n),
-      default => $loop(--$pc, $n),
-    })($pc, -![])],
-};
-$🐘 = fn($p) => $z(fn($loop) => fn($m, $p, $b, $e, $mp, $pc) =>
-  isset($p[$pc]) && $loop($m, $p, $b, $e, ...($p[$pc]($m, $p, $b, $e, $mp, $pc)))
-)($mm(+!![], +(![].![])), $p, $id($🤡), $id($🎪), +!![], +!![]);
-
-$🐘([
-  $👍, $👍, $👍, $👍, $👍, $👍, $👍, $👍, $👍, $👍,
-  $🤡,
-    $👉, $👍, $👍, $👍,
-    $👉, $👍, $👍, $👍, $👍, $👍,
-    $👉, $👍, $👍, $👍, $👍, $👍, $👍, $👍, $👍, $👍, $👍, $👍, $👍,
-    $👉, $👍, $👍, $👍, $👍, $👍, $👍, $👍, $👍, $👍, $👍,
-    $👈, $👈, $👈, $👈, $👎,
-  $🎪,
-  $👉, $👍, $👍, $👍, $👍, $👍, $📝,
-  $👎, $👎, $📝,
-  $👉, $👎, $👎, $👎, $📝,
-  $👉, $👎, $👎, $👎, $📝,
-  $👎, $👎, $📝,
-  $👎, $📝,
-  $👈, $📝,
-  $👉, $👉, $👎, $👎, $📝,
-  $👍, $👍, $👍, $👍, $👍, $👍, $👍, $📝,
-  $👈, $👎, $👎, $👎, $👎, $📝,
-  $👈, $📝,
-  $👉, $👍, $👍, $📝,
-  $👉, $👎, $📝,
-  $👈, $📝,
-]);
-

この問題は、単に適切なバージョンの PHP で動かせばトークンが得られる。

-

解説

-

絵文字

-

まず目につくのは大量の絵文字だろう。 -PHP は識別子に使用できる文字の範囲が広く、絵文字も使うことができる。

-

プログラム全体

-

Brainf*ck のインタプリタとプログラムになっている。 -Brainf*ck とは、難解プログラミング言語のひとつであり、ここで説明するよりも Wikipedia の該当ページを読んだ方がよい。

-

https://ja.wikipedia.org/wiki/Brainfuck

-

なお、brainf*ck プログラムを普通の書き方で書くと、次のようになる。

-
+ + + + + + + + + +
-[
-  > + + +
-  > + + + + +
-  > + + + + + + + + + + + +
-  > + + + + + + + + + +
-  < < < < -
-]
-> + + + + + .
-- - .
-> - - - .
-> - - - .
-- - .
-- .
-< .
-> > - - .
-+ + + + + + + .
-< - - - - .
-< .
-> + + .
-> - .
-< .
-

実行結果はこちら: https://ideone.com/22VWmb

-

それぞれの絵文字で表された関数が、各命令に対応している。

-
    -
  • $👉: >
    • -
  • $👈: <
    • -
  • $👍: +
    • -
  • $👎: -
    • -
  • $📝: .
    • -
  • $🤡: [
    • -
  • $🎪: ]
    • -
-

, (入力) に対応する関数はない (このプログラムでは使わないので用意していない)。

-

なお、$🐘 はいわゆる main 関数であり、プログラムの実行部分である。

-

絵文字の選択

-

おおよそ意味に合致するよう選んでいるが、$🤡 と $🎪 は弊社デジタルサーカスにちなんでいる。 -また、$🐘 は PHP のマスコットの象に由来する。

-

strict_types

-

declare 文の strict_types に指定できるのは、0 か 1 の数値リテラルだが、 -0x0 や 0b1 のような値も受け付ける。 -今回は、PHP 8.1 から追加された、0O または 0o から始まる八進数リテラルを使った。

-

URL

-

ソースコードのライセンスを示したこの部分だが、

-
https://creativecommons.org/publicdomain/zero/1.0/
-

完全に合法な PHP のコードである。 -https: 部分はラベル、// 以降は行コメントになっている。

-

リテラルなしで数値を生成する

-

ソースコード中に、ほとんど数値リテラルが書かれていないことにお気づきだろうか。 -PHP では、型変換を利用することで任意の整数を作り出すことができる。

-
assert(0 === +!![]);
-assert(1 === +![]);
-assert(2 === ![]+![]);
-assert(3 === ![]+![]+![]);
-assert(10 === +(![].+!![]));
-

[] に ! を適用すると true が返ってくる。それに + -を適用すると、bool から int ヘの型変換が走り、1 が生成される。10 -はさらにトリッキーだ。まず 1 と 0 を作り、. で文字列として結合する -('10')。これに + を適用すると、string から int -への型変換が走り、10 が生まれる (コード量に頓着しないなら、1 を 10 -個足し合わせてももちろん 10 が作れる)。

-

また、error_reporting に指定しているのは -1 である。 -これは、! によって文字列を false にし、+ によって false を 0 にし、さらにビット反転して -1 にしている。

-

if 文なしで条件分岐

-

三項演算子ないし match 式を使うことで、if を一切書かずに条件分岐ができる。 -また、&& / || も使えることがある。 -遅延評価が不要なケースでは、[$t, $f][$cond] のような形で分岐することもできる。

-

while、for 文なしでループ

-

不動点コンビネータを使って無名再帰する (詳しい説明は省略する。これらの単語で検索してほしい)。 -ここでは、一般に Z コンビネータとして知られるものを使った ($z)。

-

実際のところ、$🤡 や $🎪、$🐘 は、一度 Scheme (Lisp の一種) で書いてから PHP に翻訳する形で記述した。

-

なお、PHP は末尾再帰の最適化をおこなわない (少なくとも今のところは) ので、 -あまりに長い brainf*ck プログラムを書くとスタックオーバーフローする。

-

第2問 riddle.php

-

ソースコードはこちら。実行には PHP 8.0 以上が必要なので注意。

-
<?php
-
-/*********************************************************
- * This program displays a PHPer token.                  *
- * Guess 'N'.                                            *
- *                                                       *
- * Hints:                                                *
- * - N itself has no special meaning, e.g., 42, 8128,    *
- *   it is selected at random.                           *
- * - Each element of $token represents a single letter.  *
- * - One letter consists of 5x5 cells.                   *
- * - Remember, the output is a complete PHPer token.     *
- *                                                       *
- * License:                                              *
- *   https://creativecommons.org/publicdomain/zero/1.0/  *
- *********************************************************/
-const N = 0 /* Change it to your answer. */;
-assert(0 <= N && N <= 0b11111_11111_11111_11111_11111);
-
-$token = [
-  0x14B499C,
-  0x0BE34CC, 0x01C9C69,
-  0x0ECA069, 0x01C2449, 0x0FDB166, 0x01C9C69,
-  0x01C1C66, 0x0FC1C47, 0x01C1C66,
-  0x10C5858, 0x1E4E3B8, 0x1A2F2F8,
-];
-foreach ($token as $x) {
-  $x = $x ^ N;
-
-  $x = sprintf('%025b', $x);
-  $x = str_replace(search: ['0', '1'], replace: [' ', '#'], subject: $x);
-  $x = implode("\n", str_split($x, length: 5));
-  echo "{$x}\n\n";
-}
-

さて、この問題はさきほどのように単純に実行しただけでは、謎のブロックが表示されるだけでトークンは得られない。 -トークンを得るためには、ソースコードを読み、定数 N を特定する必要がある。

-

ここでは、私の想定解を解説する。

-

読解

-

まずはソースコードを読んでいく。

-
$token = [
-  // 略
-];
-

数値からなる $token があり、各要素をループしている。

-
  $x = $x ^ N;
-

まずは排他的論理和 (xor) を取り、

-
  $x = sprintf('%025b', $x);
-

二進数に変換して、

-
  $x = str_replace(search: ['0', '1'], replace: [' ', '#'], subject: $x);
-

0 を空白に、1 を # にし、

-
  $x = implode("\n", str_split($x, length: 5));
-

5文字ごとに区切ったあと、改行で結合している。

-

ヒント

-

次に、ソースコードに書いてあるヒントを読んでいく。

-
    -
  • N それ自体は、42 や 8128 といったような特別な意味を持たず、ランダムに決められている
    • -
  • $token の各要素は、1文字を表す
    • -
  • 1文字は 5x5 のセルからなる
    • -
  • 出力されるのは、完全な PHPer トークンである
    • -
-

ここで、PHPer トークンは必ず # 記号から始まることを思いだすと、 -$token の最初の数字 0x14B499C は、変換の結果 # になるのではないかと予想される (なお、このことは、リポジトリの README ファイルに追加ヒントとして書かれている)。

-

解く

-

ここまでわかれば、あと一歩で解ける。すなわち、0x14B499C が # に変換されるような N を見つければよい。

-

N は高々

-
assert(0 <= N && N <= 0b11111_11111_11111_11111_11111);
-

なのでブルートフォースしてもよいが、ここではブルートフォースしない方法を紹介する。

-
<?php
-
-$x = 0x14B499C;
-
-$x = $x ^ N;
-
-$x = sprintf('%025b', $x);
-$x = str_replace(search: ['0', '1'], replace: [' ', '#'], subject: $x);
-$x = implode("\n", str_split($x, length: 5));
-
-assert($x ===
-  " # # \n" .
-  "#####\n" .
-  " # # \n" .
-  "#####\n" .
-  " # # ");
-

この一連の変換に対する逆変換を考えると、次のようになる。

-
<?php
-
-$x =
-  " # # \n" .
-  "#####\n" .
-  " # # \n" .
-  "#####\n" .
-  " # # ";
-
-$x = implode('', explode("\n", $x));
-$x = str_replace(search: [' ', '#'], replace: ['0', '1'], subject: $x);
-$x = bindec($x);
-
-$n = $x ^ 0x14B499C;
-
-echo "N = $n\n";
-

これを実行すると、N が得られる。

-

第3問 toquine.php

-

ソースコードはこちら。

-
<?php
-
-// License: https://creativecommons.org/publicdomain/zero/1.0/
-// This is a quine-like program to generate a PHPer token.
-// Execute it like this: php toquine.php | php | php | php | ...
-
-$s = <<<'Q'
-<?cuc
-// Yvprafr: uggcf://perngvirpbzzbaf.bet/choyvpqbznva/mreb/1.0/
-// Guvf vf n dhvar-yvxr cebtenz gb trarengr n CUCre gbxra.
-// Rkrphgr vg yvxr guvf: cuc gbdhvar.cuc | cuc | cuc | cuc | ...
-%f$f = %f;
-$f = fge_ebg13($f); $kf = [
-%f,
-];
-$g = ahyy.snyfr; sbe ($v = 0; $v <= vagqvi(__YVAR__-035,6); ++$v) vs (!vffrg($kf[$v])) oernx; ryfr
-$g .= vzcybqr("\a", fge_fcyvg(fge_ercynpr(['0','1'], ['  ','##'], fcevags(pue(37) . '025o', $kf[$v])), 012)) . "\a\a";
-$jf = neenl_znc(sa($j) => vzcybqr(', ', $j), neenl_puhax(neenl_znc(sa($k) => fcevags('0k' . pue(37) . '07K', $k), $kf), 10));
-cevags($f, $g, fge_ebg13("<<<'Q'\a{$f}\aQ"), vzcybqr(",\a", $jf));
-Q;
-$s = str_rot13($s); $xs = [
-0x0AFABEA, 0x1F294A7, 0x1F2109F, 0x1F294A7, 0x0002800, 0x1F2109F, 0x0117041, 0x1F294A7, 0x1FAD6B5, 0x1F295B7,
-0x010FC21, 0x1FAD6B5, 0x1151151, 0x010FC21, 0x1F294A7, 0x1F295B7, 0x1FAD6B5, 0x1F294A7, 0x1F295B7, 0x1F8C63F,
-0x1F8C631, 0x1FAD6B5, 0x17AD6BD, 0x17AD6BD, 0x1F8C63F, 0x1F295B7,
-];
-$t = null.false; for ($i = 0; $i <= intdiv(__LINE__-035,6); ++$i) if (!isset($xs[$i])) break; else
-$t .= implode("\n", str_split(str_replace(['0','1'], ['  ','##'], sprintf(chr(37) . '025b', $xs[$i])), 012)) . "\n\n";
-$ws = array_map(fn($w) => implode(', ', $w), array_chunk(array_map(fn($x) => sprintf('0x' . chr(37) . '07X', $x), $xs), 10));
-printf($s, $t, str_rot13("<<<'D'\n{$s}\nD"), implode(",\n", $ws));
-

コメントにもあるとおり、次のようにして実行すれば答えがでてくる。

-
$ php toquine.php | php | php | php | ...
-

実際にはもう少しパイプで繋げなければならない。

-

解説

-

プログラム全体

-

コメントにもあるとおり、これは quine (風) のプログラムになっている。 -Quine とは、自分のソースコードをそっくりそのまま出力するようなプログラムのことである。

-

このプログラムは、実行すると自身とほとんど同じプログラムを出力する。 -異なるのはトークンになっている部分のみである。

-

トークン

-

$xs がトークンに対応している。変換のロジックは riddle.php とほぼ同じなので省略する。

-

状態保持

-

トークンの何文字目まで出力したかを、ソースコードを変えずに (quine なので) 覚えておく必要がある。 -このプログラムでは、トークンが出力されるとソースコードがだんだんと長くなっていくのを利用して、__LINE__ から情報を取得している。

-

ROT 13

-

Quine は、素朴に書くとプログラムの一部が 2回記述されてしまう。 -これがあまり美しくないので、toquine.php では、ROT 13 変換を使って難読化した。

-

それにしてもなぜこんなものが標準ライブラリに……。

-

おわりに

-

解いていただいたみなさん、また、難易度調整につきあっていただいた社内のみなさん、ありがとうございました。

-

今回は直前に作りはじめたのもあり、3問だけかつ使い古されたネタばかりになってしまいましたが、 -来年は 5問、より面白い問題を持っていきます。

-

実はもう作りはじめているので、どうか来年もありますように……。

-]]> - - - - PHPerKaigi 2021 - https://blog.nsfisis.dev/posts/2021-03-30/phperkaigi-2021/ - Tue, 30 Mar 2021 23:22:40 +0900 - - https://blog.nsfisis.dev/posts/2021-03-30/phperkaigi-2021/ - PHPerKaigi 2021 参加レポ -

2021-03-26 から 2021-03-28 にかけて開催された、PHPerKaigi 2021 に一般参加者として参加した。 -弊社デジタルサーカス株式会社 (今年1月から勤務) はダイヤモンドスポンサーとなっており、スポンサー枠のチケットを使わせていただいた。

-

このようなカンファレンスには初めて参加するのでかねてより心待ちにしていたのだが、生憎2日目から体調を崩してしまい、この記事も途中までとなっている。まだ見ていないセッションも多いが、ひとまず現時点での参加レポを書いておく。

-

発表はトラック A、B に分かれていたのだが、今回はすべて A トラックを視聴している (切り替えるのが面倒だっただけ)。

-

凡例

-
-

発表・スライドのメモ (引用ではない)

-
-

感想など

-

Day 0 前夜祭 (2021/03/27)

-

17:30 [A]

-

PHP で AWS Lambda

-
-

Rails のプロジェクトを PHPer のメンバのみでメンテ -→他のメンバもわかる PHP にリプレースを検討

-

サーバレス

-
    -
  • サーバ・インフラの管理が不要
    • -
  • アプリケーションコードの知識だけで保守可能
    • -
-

ゼロベースで作れる案件が (Railsの件とは別に) あるため、そちらで試験的に導入?

-

AWSの学習 -AWS のドキュメント -DevelopersIO

-

AWS Lambda のカスタムランタイムで PHP を動かす

-

サーバのセットアップや維持管理を気にしなくて良い -サーバーレスで PHP を動かすツールがすでにある -サーバーレス構築はすんなり

-

今は Laravel がルーティングしている -Laravel Livewire を Lambda に載せられないか？ -デプロイ方法は？ -バッチ処理は？ (Lambda は 15分の制限)

-

Lambda でコンテナイメージがサポートされるように

-

抽象化されたもの「だけ」しか知らないよりも具象の理解は助けになる

-
-

AWS Lambda のような Function as a Service はマイクロサービス化における一つの到達点に思えるのだが、これを使って実際に web サービスを作る具体的なイメージがまだ見えない (注: すべて for me として書いている)。

-

PHP on AWS Lambda があれだけ簡単に動かせるのには驚いた。

-

勝手に AWS Lambda だとフットプリントの軽さが求められそう (= PHP + Laravel などでは動かなさそう) だという先入観を持っていたのだが、この発表のデモによればそうでもないらしい。

-

18:10 [A]

-

大規模サイトの SEO

-
-

大規模サイト (100万ページ以上) -Google の基準

-

クロールバジェットを意識したSEO

-

大規模サイトでコンテンツが中頻度 (1回/週) で更新 OR 中規模サイト (10,000以上) でコンテンツが目まぐるしく変更される -これを満たさないなら、クロールバジェットを考えなくてもいい

-

サーチコンソール -「カバレッジ」の「除外」 -多すぎるのは問題→クロールバジェットを浪費している

-
    -
  • クエリの順番を決める
    • -
  • 空の値のルールを決めておく
    • -
  • リダイレクトすればインデックスはうまくいく
    • -
  • リンクが存在する限りクロールはされる
    • -
-

リニューアル前のURL

-

インデックスは移行される -リンクのURLが存在する限り、別のURLとしてクロールされる -リダイレクトされるとはいえ、リニューアル前のURLは移行した方が良い -リニューアルで無視されるようになったパラメータも注意

-

robotes.txt で拒否しているのにクロールされる -一時的に拒否を外して 404 や 301 を読ませる -内部リンクを確認する -JS でのリンクに書き換え

-

クエリパラメータからURLのパスに -/tokyo?area=HOGE → /tokyo/HOGE

-

URL 設計だいじ

-
-

SEO (Search Engine Optimization) は大して知らないので新鮮な話が多かった。その分語れることも少ない……。

-

18:50 [A]

-
-

知覚可能 -操作可能 -理解可能 -堅牢 ちゃんとしたHTMLを書く (閉じタグ・入れ子構造など)

-
    -
  • -

    標準の HTML を適切に使う

    -
    • -
  • -

    WAI-ARIA

    -
    • -
  • -

    キーボードフレンドリー

    -
    • -
  • -

    マシンフレンドリー

    -
    • -
  • -

    SEOフレンドリー

    -
    • -
-

button タグ -→キーボード -h1 タグ -→スクリーンリーダー・クローラ -a タグ

-

WAI-ARIA -HTML では表現できないセマンティクスを追加する

-
    -
  • ロール -
      -
    • 何をするのか？
      • -
    • ユーザーアクションによって変化しない
      • -
    -
    • -
  • プロパティ -
      -
    • 関連づけられたデータ
      • -
    -
    • -
  • ステート -
      -
    • 現在の状態
      • -
    -
    • -
-

まずは標準の HTML 要素で解決する -何でもかんでも WAI-ARIA を使えばいいというものではない

-

マウスホバーでツールチップが出てくるが、キーボード操作では出てこない

-

VoiceOver

-

全ての属性を使う必要はない -あくまでアクセシビリティを上げるための方法の一つにすぎない

-
-

つい最近 WAI-ARIA についての記事を読んだばかりだったので個人的にタイムリーな話題だった。(あまりこの言葉を使いたくないのだが) いわゆる「健常者」にとって、こうした問題を普段の生活の中で意識するのは難しい。だからこそ情報へのアンテナは張っておくようにしたい。

-

19:30 [A]

-

PHP で FUSE

-

個人的に楽しみだった発表。

-
-

VFS (virtual filesystem) vs 具体的なファイルシステム

-

最適な実装方法は状況により異なる

-

アプリケーションに見せるAPIは変えずに実装を隠蔽する→VFS

-

カーネルのプログラムを作るのは難しい

-
    -
  • 権限がデカすぎる
    • -
  • システム全体がクラッシュ
    • -
  • セキュリティリスク
    • -
  • 開発サイクルを回しづらい
    • -
  • ネイティブコードにコンパイルされる言語である必要がある
    • -
-

Filesystem in USEr space (FUSE)

-
    -
  • 特定の C の関数を呼ぶことで filesystem が作れる
    • -
  • FFI を持つ言語なら FUSE が使える
    • -
-

SSHFS / s3fs / Docker Desktop

-

Linux 以外でも使える

-
    -
  • dokany (on Windows)
    • -
  • osxfuse
    • -
-

VFS: システムコールが呼ばれると、ファイルシステムによってコール -FUSE: カーネル空間からユーザ空間へ通信

-

高レベルなラッパで型をつける

-

PHP 以外では Wordpress を FUSE にマウントする実装がある (C, Python など)

-
    -
  • grep できる
    • -
  • sed できる
    • -
  • 編集できる
    • -
-
-

期待通りの興味深い発表だった。FUSE 自体も今回の発表で知ったのだが、これ本体の実装を見るのも面白そうだ。 -この発表を聞きながらファイルシステムにマウントできそうなものを考えていたのだが、およそ木構造をしているものすべてと言えそうだ (ハンマーしか持っていないと云々)。何かできそうだがなかなか思いつかない。

-

Day 1 (2021/03/27)

-

10:50 [A]

-

ATDD

-
-
    -
  • ユーザーストーリー
    • -
  • ユニットテスト
    • -
  • CI/CD
    • -
-

ユーザストーリーの受け入れ条件が曖昧になりがち -デグレチェックがユニットレベルでは収まらない場合、手動で同じシナリオをテストしている

-

Q2の強化 -アジャイルテストの4象限

-

技術面/ビジネス面 -開発チーム支援(コーディング前・コーディング中)/製品批評(コーディング後)

-
    -
  • Q1: 技術面 & チーム支援 -
      -
    • TDD
      • -
    • ユニットテストなど
      • -
    -
    • -
  • Q2: ビジネス面 & チーム支援 -
      -
    • ATDD
      • -
    • ビジネス面の受け入れテストで駆動する
      • -
    -
    • -
-

Agile Alliance -ユーザストーリーのスキルレベルを高める

-

テストピラミッド

-
    -
  • -

    UI Tests

    -
    • -
  • -

    Service Tests

    -
    • -
  • -

    Unit Tests

    -
    • -
  • -

    異なる粒度のテストを書く

    -
    • -
  • -

    高レベルになるほど、持つべきテストは少なくなる

    -
      -
    • ピラミッド型になる
      • -
    -
    • -
-

高レベルテストが多すぎる→アイスクリームコーン　アンチパターン

-

ATDD (Acceptance TDD) -API経由・UI経由での高レベルテスト E2E test

-

ストーリ受け入れテスト

-

入れ子のフィードバックループ -ATDD(外側) と TDD(内側)

-

外部品質・内部品質

-

バーティカルスライスのデリバリー

-
    -
  • cucumber
    • -
  • gauge
    • -
  • behat
    • -
-

ユビキタス言語 -手動テストもspecに書く -自動化は可能だがコスパが悪い -失敗することがわかっているテスト(レッドテスト)はCIから外す -失敗時の原因究明が難しい -饒舌なエラーメッセージ -状況のスナップショット

-

Continuous Testing

-
-

User Acceptance Test (UAT) くらいの規模になると個人開発・趣味開発では触れない領域なので、大いに勉強になった。スライドに添付されている資料が相当に充実していたので、これを読むのが本番といった様相すら感じる。 -高レベルテストの自動化は現在のプロジェクトでも感じており、自動化のチャンスは伺っている。とはいえセッションでも指摘されているように自動化することにコストがかかりすぎる領域があるのも事実で、そのバランスが難しい。

-

11:50 [A]

-

型解析を用いたリファクタリング

-

型のある世界で生きてきた身として大いに楽しみにしていた発表。

-
-
    -
  • PHPStan
    • -
  • Phan
    • -
  • Psalm
    • -
-

autoload も認識できる -bootstrapFiles

-

編集箇所と利用箇所を CI でチェック -ルールレベルを徐々に引き上げていく -警告が多すぎると見落としてしまう・無視されやすくなる

-

型がついていないことによるエラーが多い

-

型よりも詳細な検査 Util_Assert::min

-

SQL を静的解析 -placeholder の型付け

-

警告レベルを低いレベルから導入 -タイプヒントを積極的に書いていく -PHPStan の拡張を追加する

-
-

昨今、動的型付き言語での型宣言・型アノテーション・型ヒントの導入が相次いでいる。長らく静的型付き言語を書いてきた私からすると、ようやく気づいたかといったところだが、ともかく型を導入する言語が増えてきた。 -今のプロジェクトでも新しく追加するコードには型をつけるよう努めているが、どうしても古いコードには型がついていない。個人的には型のないコードに対してどう型を自動的に付けるかという点に興味があり、その点で Ruby の typeprof には注目している。

-

12:30 [A]

-

昼食をとっていた。事前に何か食料を買っておくべきだった。

-

13:10 [A]

-

Documentation as Code

-

この発表も以前から非常に楽しみにしていた。

-
-

開発開始までのオーバーヘッド -新規にチームにジョイン -担当範囲外の機能を理解 -オンボーディングのコスト

-

PHPerKaigi 2020 で発表あり

-

継続的にシステムの理解を助けるドキュメント

-

継続的ドキュメンテーション -システムとドキュメントの乖離

-

書いてあることが間違っている・足りない

-
    -
  • 徐々にずれていく
    • -
  • システムの更新タイミングとドキュメントの更新タイミングに差がある
    • -
-

システムとドキュメントは対応関係がある

-
    -
  • 間違ったドキュメント
    • -
  • 存在しないドキュメント
    • -
-

システムとドキュメントの乖離を定量化する -継続的に -システムの更新に近いタイミングで ドキュメントを更新し続ける

-

Documentation as Code

-

コードと同じツールでドキュメントを書く

-
    -
  • issue tracker
    • -
  • vcs
    • -
  • plain text markup
    • -
  • automation
    • -
-

開発者 -システム -ドキュメント -構造化データ -ソフトウェア

-

システムから構造化データを抽出する -PHPDoc -OpenAPI

-

ビュー 関心ごとに合わせてアーキテクチャを一つ以上の側面(断面)で説明する

-

ビューの単位でドキュメントに

-

スタックトレースからのドキュメント生成

-
-

ドキュメントの管理は現プロジェクトでも課題と感じている。作られた当初は正しくても、実態と乖離していくのを止めるのは困難を極める。全体的に興味深い発表だったが、特にスタックトレースからのドキュメント生成というアイデアに惹かれるものを感じた。スタックトレースという実態と不可分な (乖離しない) 情報を起点にするのは理にかなっている。問題はトレースをいつ、どう取るかだろうか。それを自動化しなければ、実態との乖離が避けられないだろう。

-

14:10 [A]

-

cookie による session 管理

-

全体的に基本的な話だったので特に触れない。Cookie やセッションの話としては非常に分かりやすくまとめられていたので、知らない人が学ぶにはいい教材だろう。

-

14:50 [A]

-

PHP のエラーと例外

-
-

エラー PHPエンジンがエラーを通知する -例外 プログラムが投げる

-

PHP7-8とエラー

-

PHPエンジンのエラーの一部が \Error に変換されるようになった -→ try-catch で捕捉できる

-

\Error は例外とは異なる

-

PHP8 でエラーレベルの引き上げ

-
    -
  • 捕捉すべきもの -
      -
    • recoverable
      • -
    -
    • -
  • 捕捉すべきでないもの -
      -
    • unrecoverable
      • -
    • 開発時に対処できるもの
      • -
    -
    • -
-

例外

-
    -
  • 捕捉して事後処理
    • -
  • 捕捉せず(or 捕捉した上で)さらに上に是非を問う
    • -
-

開発段階で例外を把握し、ハンドリングを考えておく

-

\Throwable \Exception と \Error

-

\Error はキャッチすべきでない

-
    -
  • -

    \Error

    -
      -
    • 本番で起きてはいけない
      • -
    -
    • -
  • -

    \LogicException

    -
      -
    • 本番で起きてはいけない -→生じないのだから捕捉もしない
      • -
    -
    • -
  • -

    \RuntimeException

    -
      -
    • 起こるかもしれないので本番環境でも考慮する
      • -
    -
    • -
-

捕捉して対応するのではなく、未然に防ぐ

-

独自例外を使う -\Exception を投げてしまうと、 -catch (\Exception)せざるを得ない -→catch 範囲が広すぎる

-

SPL の例外を使う

-

例外翻訳 -上位のレイヤが下位のレイヤの例外を捕捉し、上位レイヤのAPIに「翻訳」する -下位レイヤの知識に依存させない

-

@throws -捕捉してほしい例外を書き連ねておく

-

呼び出しもとに負わせたい責任

-
-

PHP を学んでいる途中の私としては、今まさに聞きたい発表だった (現時点で PHP を書き始めてから 4ヶ月ほどになる)。

-

個人的に例外やエラーを最もうまく扱っているのは Go、Swift、Rust、Haskell などのエラーを「値として」扱う言語だと思っている。try-catch は通常の処理フローを完全に壊してしまう上、構文としても重すぎる。値としてのエラー通知は C言語時代への回帰ともいえるが、その頃と異なるのはエラーを暗黙のうちに握り潰すことがないということだ。これらの言語は型を持っており、静的に検証ができる (C のそれはまともな型付けではない。念のため)。

-

PHP のように、すでに例外が言語システムに根ざしている言語ではどうすればよいか。この場合も同じく静的検証の力を借りることになるだろう。

-

15:30 [A]

-

Laravel のメール認証

-

Laravel の知識がない私にはまったくついていけなかった。また、個人的にタイトルがややミスリーディングに感じた。

-

16:10 [A]

-

gRPC

-
-

Unary RPCs -Server streaming RPCs -Client streaming RPCs -Bidirectional streaming RPCs

-

Protobuf

-

実装とAPIが乖離しにくい -自動生成 -複数言語でも相互に使える

-

マイクロサービスのサービス通信 -スマホアプリ -ゲームサーバ

-

PHP では？

-

PHP ではストリーミングが難しい -リクエストごとにプロセスが使い捨て

-

PHP ではgRPCのクライアントしか対応していない

-

gRPC-Web -ブラウザで扱うためのJSライブラリ+プロトコル

-

HTTP/1.1 でも使える -Unary RPC と Server streaming RPC のみ

-

Envoy -Nginx などで相互に gRPC と gRPC-Web で変換

-

Amp -イベント駆動な並行処理のフレームワーク

-

HTTP/2 対応

-

C#のgRPC-Webが楽

-
-

(発表の中でもまさに同じことをおっしゃっていたが) PHP 以外の方が向いているだろう、というのが第一の感想である。gRPC はそれ自体というよりも Protobuf というエコシステムに乗れることのメリットが大きいと感じる。そのエコシステムにうまく乗れない時点で、うーんという感じ。

-

16:50 [A]

-

アーキテクチャテスト

-
-

Independent Core Layer Pattern

-

開発初期のアーキテクチャが崩れる -アーキテクチャ観点のコードレビューができない

-

どこにクラスを置けばよいか？ -ドキュメントがない

-

アーキテクチャ設計に関する知識が属人化・暗黙知化

-

ガイドライン

-
    -
  • 最初にルールを決めるのは簡単
    • -
  • ルール通り作り始めるのも簡単 -
      -
    • →維持するのが難しい、人が決めたものゆえ壊れやすい
      • -
    -
    • -
-

PHP の特性

-
    -
  • クラスは public
    • -
  • 可視性の制御が public / protected / private のみ
    • -
  • 依存関係の制御が困難
    • -
-

アーキテクチャテスト -クラスの依存関係や実装ルールをコードとして表現し、自動テスト化する

-
    -
  • deptrac
    • -
  • phpat
    • -
-

Independent Core Layer Pattern

-

アーキテクチャテストの失敗

-
    -
  • 実装誤り
    • -
  • or アーキテクチャが適切でない -
      -
    • 開発の過程でフィードバックしていく
      • -
    -
    • -
-

モジュラーモノリス→マイクロサービスへ

-
-

Day 2 (2021/03/28)

-

冒頭に書いた通り、2日目から体調が悪くまともに聴けていない。途中までは頭痛を我慢しつつ見ていたのだが、まともに入ってこなかった。

-

残念ではあるが、いずれにせよ見られていない発表は他にもあるので、今週末にでもまとめて見ようと思う。

-

全体の感想

-

Day 2 にほとんど参加できなかったのは残念だが、イベント自体は大変楽しく、また興味深いものであった。自分がまったく知らない領域の話を聞けるのはこうしたイベントならではだと感じる。オンライン開催ゆえ現地に行く必要がなく、気軽に参加できたのも (特に初参加者として) 嬉しいポイントだった。

-

今回、雑談/登壇者への質問等向けに Discord サーバもあったのだが、こちらは参加こそしたものの ROM のままになってしまった。発表に1ウィンドウ、メモを書くのに1ウィンドウ、Discord 表示に 1ウィンドウで私にはもう脳のリソースとディスプレイのスペースが追いつかなかった (さらにいうと Zoom でアンカンファレンスもやっていたようだ。こちらはまったく参加していない)。

-

1つ個人的な反省点としては、一つ一つのセッションを真剣に聞き過ぎたというものがある。もっと適当に聞いておけばよかった。これだけだと大変語弊があるのだが、言い方を変えると、Discord しかりアンカンファレンスしかり「このイベントのこの瞬間にしかないコンテンツ」に触れずに、後から見返せる発表やスライドに注力してしまった、ということだ。発表の詳細な見直しはあとからできるのだから、今しかできないことを考えるべきだった。 -まあ初カンファレンスだし、とお茶を濁しておこう。

-

さて、カンファレンスで一つ気になったことがある。それは、Discord という書き込み場所が増えたことでニコ生のコメントの流量が吸い取られてしまったのではないか、という点だ。ニコニコだけ見ていると過疎っているかのように見えた発表も、Discord の方では盛り上がっている、というのを何度か見かけた。ニコニコのコメント方式は盛り上がりを如実に反映するが、逆もまたしかり。Discord があったこと自体はプラスだったと思うが、この点はマイナスだったのではないかと感じる。

-
-

最後になりましたが、毎年の PHPerKaigi 開催にご尽力されている皆様、スピーカーの皆様、楽しい3日間でした。ありがとうございました！ -(ずっと常体で書いてしまったのでいきなり仏頂面から笑顔になったようで気持ち悪い)

-

ではまた来年。

-]]> - - - - diff --git a/docs/tags/php/index.html b/docs/tags/php/index.html deleted file mode 100644 index e38f0a9..0000000 --- a/docs/tags/php/index.html +++ /dev/null @@ -1,117 +0,0 @@ - - - - - - - - php | REPL: Rest-Eat-Program Loop - - - - - - - - - - - - - - - -
- -
-
- -

php

- -
-
-

PHPerKaigi 2023: ボツになったトークン問題 その 1

-
-
-

来年の PHPerKaigi 2023 でデジタルサーカス株式会社から出題予定のトークン問題のうち、 -ボツになった問題を公開する (その 1)。

-
-
- Posted on -
- -
-
-
-

[PHP] fizzbuzz を書く。1行あたり2文字で。

-
-
-

PHP で、fizzbuzz を書いた。ただし、1行あたりに使える文字数は2文字まで。

-
-
- Posted on -
- -
-
-
-

PHP カンファレンス沖縄で出題されたコードゴルフの問題を解いてみた

-
-
-

PHP カンファレンス沖縄の懇親会 LT で出題されたコードゴルフの問題を解いてみた。

-
-
- Posted on -
- -
-
-
-

PHPerKaigi 2022

-
-
-

2022-04-09 から 2022-04-11 にかけて開催された、PHPerKaigi 2022 に参加した。

-
-
- Posted on -
- -
-
-
-

PHPerKaigi 2022 トークン問題の解説

-
-
-

PHPerKaigi 2022 で私が作成した PHPer チャレンジ問題を解説する。

-
-
- Posted on , updated on -
- -
-
-
-

PHPerKaigi 2021

-
-
-

2021-03-26 から 2021-03-28 にかけて開催された、PHPerKaigi 2021 に参加した。

-
-
- Posted on -
- -
- - - - - - diff --git a/docs/tags/php/page/1/index.html b/docs/tags/php/page/1/index.html deleted file mode 100644 index 9d866e9..0000000 --- a/docs/tags/php/page/1/index.html +++ /dev/null @@ -1,10 +0,0 @@ - - - - https://blog.nsfisis.dev/tags/php/ - - - - - - diff --git a/docs/tags/phpcon/feed.xml b/docs/tags/phpcon/feed.xml deleted file mode 100644 index b5b8325..0000000 --- a/docs/tags/phpcon/feed.xml +++ /dev/null @@ -1,61 +0,0 @@ - - - - phpcon on REPL: Rest-Eat-Program Loop - https://blog.nsfisis.dev/tags/phpcon/ - Recent content in phpcon on REPL: Rest-Eat-Program Loop - Hugo -- gohugo.io - ja-JP - Sat, 27 Aug 2022 18:55:28 +0900 - - PHP カンファレンス沖縄で出題されたコードゴルフの問題を解いてみた - https://blog.nsfisis.dev/posts/2022-08-27/php-conference-okinawa-code-golf/ - Sat, 27 Aug 2022 18:55:28 +0900 - - https://blog.nsfisis.dev/posts/2022-08-27/php-conference-okinawa-code-golf/ - はじめに -

本日 PHP カンファレンス沖縄 2022 が開催された (らしい)。

-

カンファレンスには参加できなかったものの、懇親会の LT で出題されたコードゴルフの問題が Twitter に流れてきたので、解いてみた。

-

ツイート: https://twitter.com/m3m0r7/status/1563397620231712772
-スライド: https://speakerdeck.com/memory1994/php-conference-okinawa-2022-extra?slide=3

-

解

-

細かいレギュレーションは不明だったので、勝手に定めた。

-
    -
  • コマンドライン引数の第1引数で受けとる
    • -
  • 結果は標準出力に出す
    • -
  • コンマの直後にはスペースを1つ置く
    • -
  • 末尾コンマは禁止
    • -
  • 数字でないものは入ってこないものとする
    • -
  • 負数は入ってこないものとする
    • -
-

書いたものがこちら:

-
[<?php $n=$argv[1];foreach([1e4,5e3,2e3,1e3,500,100,50,10,5,1]as$x)for(;$n>=$x;$n-=$x)$r[]=$x;echo implode(', ',$r??[]);?>]
-

しめて 123 バイトとなった (末尾改行を含めずにカウント)。

-

こちらは改行とスペースを追加したバージョン:

-
[<?php
-
-$n = $argv[1];
-foreach ([1e4, 5e3, 2e3, 1e3, 500, 100, 50, 10, 5, 1] as $x)
-  for (; $n >= $x; $n -= $x)
-    $r[] = $x;
-echo implode(', ', $r ?? []);
-
-?>]
-

使用したテクニック

-

指数表記

-

割と多くの言語のゴルフで使えるテクニック。e を用いた指数表記で、大きな数を短く表す。このコードでは 10000、5000、2000、1000 を指数表記している。

-

foreach や for の中身を1つの文に

-

foreach、for、if などの後ろには、通常 { を続けて複数の文を連ねるが、中身の文を1つにしてしまえば、{ と } を省略できる。C言語などでも使える。

-

$r に初期値を入れない

-

PHP では、$r[] = ... のような配列の末尾に追加する式を実行したとき、$r が未定義だった場合は $r を勝手に定義して空の配列で初期化してくれる。これを利用すると、$r = []; のような初期化が不要になる。

-

ただし、プログラムに 0 が渡されるとループを一度も回らないので、$r が未定義になってしまい、implode() に渡すところでエラーになる。それを防ぐために $r ?? [] を使っている。

-

もし 0 が渡されたケースを無視するなら、これが不要になるので 4 バイト縮む。

-

PHP タグの外に文字列を置く

-

PHP では、<?php ?> で囲われた部分の外側にある文字列は、そのまま出力される。今回のケースでは、先頭と末尾に必ず [ と ] を出力するので、そのまま書いてやればよい。

-

おわりに

-

最後になりましたが、めもりー さん、楽しい問題をありがとうございました。

-]]> - - - - diff --git a/docs/tags/phpcon/index.html b/docs/tags/phpcon/index.html deleted file mode 100644 index d3d3cba..0000000 --- a/docs/tags/phpcon/index.html +++ /dev/null @@ -1,56 +0,0 @@ - - - - - - - - phpcon | REPL: Rest-Eat-Program Loop - - - - - - - - - - - - - - - -
- -
-
- -

phpcon

- -
-
-

PHP カンファレンス沖縄で出題されたコードゴルフの問題を解いてみた

-
-
-

PHP カンファレンス沖縄の懇親会 LT で出題されたコードゴルフの問題を解いてみた。

-
-
- Posted on -
- -
- - - - - - diff --git a/docs/tags/phpcon/page/1/index.html b/docs/tags/phpcon/page/1/index.html deleted file mode 100644 index 736f0cb..0000000 --- a/docs/tags/phpcon/page/1/index.html +++ /dev/null @@ -1,10 +0,0 @@ - - - - https://blog.nsfisis.dev/tags/phpcon/ - - - - - - diff --git a/docs/tags/phperkaigi/feed.xml b/docs/tags/phperkaigi/feed.xml deleted file mode 100644 index 439bf91..0000000 --- a/docs/tags/phperkaigi/feed.xml +++ /dev/null @@ -1,974 +0,0 @@ - - - - phperkaigi on REPL: Rest-Eat-Program Loop - https://blog.nsfisis.dev/tags/phperkaigi/ - Recent content in phperkaigi on REPL: Rest-Eat-Program Loop - Hugo -- gohugo.io - ja-JP - Sun, 23 Oct 2022 09:54:07 +0900 - - PHPerKaigi 2023: ボツになったトークン問題 その 1 - https://blog.nsfisis.dev/posts/2022-10-23/phperkaigi-2023-unused-token-quiz-1/ - Sun, 23 Oct 2022 09:54:07 +0900 - - https://blog.nsfisis.dev/posts/2022-10-23/phperkaigi-2023-unused-token-quiz-1/ - はじめに -

2023 年 3 月 23 日から 25 日にかけて開催予定 (記事執筆時点) の、PHPerKaigi 2023 において、昨年と同様に、弊社デジタルサーカス株式会社 から、トークン問題を出題予定である。

-

昨年のトークン問題の記事はこちら: PHPerKaigi 2022 トークン問題の解説

-

すでに 2023 年用の問題は作成済みであるが、その制作過程の中でいくつかボツ問ができた。せっかくなので、PHPerKaigi 開催を待つ間に紹介しようと思う。

-

10 月から 2 月まで、毎月 1 記事ずつ公開していく予定 (忘れていなければ)。

-

問題

-

注意: これはボツ問なので、得られたトークンを PHPerKaigi で入力してもポイントにはならない。

-
<?php
-
-$π = $argv[1] ?? null;
-if ($π === null) {
-  exit('No input.');
-}
-$π = trim($π);
-if (!is_numeric($π)) {
-  exit('Invalid input.');
-}
-
-$s = implode(array_map(chr(...), str_split($π, 2)));
-
-preg_match('/(\x23.+?) /', $s, $m);
-$t = $m[1] ?? '';
-
-if (md5($t) === '056e831a4146bf123e8ea16613303d2e') {
-  echo "Token: {$t}\n";
-} else {
-  echo "Failed.\n";
-}
-

トークン入手方法

-

ソースを見るとわかるとおり、$argv[1] を参照している。それを $π なる変数に代入しているので、円周率を渡してみる。

-
$ php Q.php 3.14
-Failed.
-

失敗してしまった。精度を上げてみる。

-
$ php Q.php 3.1415
-Failed.
-

だめだった。これを成功するまで繰り返す。

-

最初にトークンが得られるのは、小数点以下 16 桁目まで入力したときで、こうなる。

-
$ php Q.php 3.1415926535897932
-Token: #YO
-

めでたくトークン「#YO」が手に入った。

-

解説

-

短いので頭から追っていく。

-
$π = $argv[1] ?? null;
-if ($π === null) {
-  exit('No input.');
-}
-$π = trim($π);
-if (!is_numeric($π)) {
-  exit('Invalid input.');
-}
-

入力のバリデーション部分。数値のみ受け付ける。

-
$s = implode(array_map(chr(...), str_split($π, 2)));
-

$π を 2 文字ごとに区切り (str_split)、数値を ASCII コードと見做して文字に変換 (chr) して結合 (implode) している。

-

例えば、$π が '656667' だったとすると、65、66、67 に対応した 'A'、'B'、'C' へと変換され、'ABC' になる。

-
$π = '656667';
-$s = implode(array_map(chr(...), str_split($π, 2)));
-echo $s;
-// => ABC
-
preg_match('/(\x23.+?) /', $s, $m);
-$t = $m[1] ?? '';
-

正規表現でマッチングしている。\x23 は # と同じであることに留意すると、この正規表現は「# から始まる 2 以上の長さ (含 #) の文字列で、最初に現れるスペースまで」にマッチする。つまりこれは、PHPerKaigi におけるトークンである。

-

なお、# を直接書いていないのは、/#.+?) / と書くと、#.+?) という意図せぬトークンが登録されてしまうからである。

-
if (md5($t) === '056e831a4146bf123e8ea16613303d2e') {
-  echo "Token: {$t}\n";
-} else {
-  echo "Failed.\n";
-}
-

最後にトークンのハッシュ値を見て、想定解かどうかを確認する。

-

おわりに

-

円周率を何桁も計算して ASCII コード経由で文字列化すれば、トークンっぽいものがどこかで出てくるのではないか、と考えて生まれた作品。

-

最初は真面目に円周率の計算プログラムを組んでいたのだが、いざ動かしてみるとやけに浅いところにあったので驚いた (ちなみに、それでも M_PI や pi() では精度が足りない)。見つけたときは狂喜したものの、冷静になってみると大して面白くなかったのでボツになった。むしろ、100 万桁目くらいに埋まっていてくれたほうがよかったかもしれない。

-]]> - - - - PHPerKaigi 2022 - https://blog.nsfisis.dev/posts/2022-05-01/phperkaigi-2022/ - Sun, 01 May 2022 09:41:39 +0900 - - https://blog.nsfisis.dev/posts/2022-05-01/phperkaigi-2022/ - はじめに -

2022-04-09 から 2022-04-11 にかけて開催された、PHPerKaigi 2022 に、一般参加者として参加した。 -弊社デジタルサーカス株式会社 はダイヤモンドスポンサーとなっており、スポンサー枠のチケットを使わせていただいた。

-

昨年のレポートはこちら。

-

感想

-

厳選おすすめトーク

-

多くの素晴らしいトークの中から、特におすすめのものを 5つ選んだ。是非聞いてほしい。引用部分は、リンク先プロポーザルから引用している。

-

予防に勝る防御なし - 堅牢なコードを導く様々な設計のヒント

-
-

PHP はバージョンを追う毎に型宣言、例外、表明、列挙型などの機能が大幅に強化され、堅牢なコードを書くための機能が充実してきました。それらの機能はどう使うと効果的なのでしょうか。

-

本講演では PHP 8.1 をベースにして、誤りを想定してチェックするのではなく、そもそも誤りにくい設計とはどのようなものか、つまり「予防」の観点を軸足に、堅牢なコードを導くための様々な設計のヒントをご紹介します。

-
-

PHPのエラーを理解して適切なエラーハンドリングを学ぼう

-
-

PHPを使ってるとよく遭遇する Fatal error / Parse error / Warning / Notice 理解していますか？
-これらのエラー文を理解することで、すぐにエラーの原因に気付き適切に対象できる様になります！
-またそれらを理解した上でのエラーハンドリングを学びましょう。

-
-

エラー監視とテスト体制への改善作戦

-
-

毎日流れてくるエラーに皆さんはどう向き合ってますか？
-エラーを出さない事が一番ですが、完全に塞ぐ事は難しいと考えます。
-サービス運用の中で本番環境から発生するエラー（サーバー・クライアントサイド・サードパーティ起因のエラー）への監視体制と、
-エラー・バグ防御のためチームで行っているテストコード文化づくりの話をします。

-
-

ISUCON11のPHP実装は、何を考え、どのようにして作られていたのか

-
-

昨年開催されたISUCON11にて問題（参考実装）のPHPへの移植を担当させていただきました。

-

最終的なソースコードこそシンプルなWebアプリケーションではありますが、その裏には
-・「（私の思う）良い設計」を実現するための意思決定
-・「ISUCONの問題」という位置付けに由来する取捨選択
-・移植中に遭遇したトラブルとその解決策
-といった文脈や葛藤が存在しています。

-

本発表はそれらを共有することで
-・PHPアプリケーションの設計、実装事例として役立ててもらう
-・ISUCONの言語移植に興味を持ってもらう
-・ISUCON問題移植の「実装や設計の練習をする教材」としての可能性を知ってもらう
-ことを目的とします。

-
-

チームの仕事はまわっていたけど、メンバーはそれぞれモヤモヤを抱えていた話──40名の大規模開発チームで1on1ログを公開してみた

-
-

サイボウズの大企業向けグループウェアのGaroon（ガルーン）は、PHPで開発されている20年目の製品です。ガルーン開発チームは日本で40名、ベトナムで50名の計90名ほどのチームになっています。また、コロナ禍でフルリモートでの活動がこの2年ほど継続してきました。

-

フルリモートになっても仕事はまわっており、継続的にリリースはしていましたが、一方でお互いの考えていることや感じている問題意識が見えづらくなり、モヤモヤを抱えているメンバーが増えていました。

-

このセッションでは、そういう状況で私がチーム外からジョインし、聴き役に徹しながら見える化することで状況を改善していった取り組みを紹介します。同じように大きなチームやリモートワークで難しさを感じている人に、難しさの原因への気づきや取り組みへのヒントがあれば幸いです。

-
-

トークン問題の作成

-

今回は、PHPer チャレンジ用に弊社のトークン問題を 3題作成した。こちらについては別途記事にしているので、そちらを参照されたい。

-

PHPer チャレンジ

-

1位になった。
-また、賞品として Echo Show 15 をいただいた。

-

カンファレンス全体への感想

-

去年の参加レポ では、こんなことを書いた。

-
-

1つ個人的な反省点としては、(中略) Discord しかりアンカンファレンスしかり「このイベントのこの瞬間にしかないコンテンツ」に触れずに、後から見返せる発表やスライドに注力してしまった、ということだ。発表の詳細な見直しはあとからできるのだから、今しかできないことを考えるべきだった。
-まあ初カンファレンスだし、とお茶を濁しておこう。

-
-

この反省を踏まえ、今年は積極的にほかの場 (公式の Discord サーバや、アンカンファレンス) にも参加した。
-これにより、参加体験の質がはるかに向上した。特に Discord に関しては、登壇者ご本人による補足や、質問への回答などがおこなわれる (ことが多い) ため、特別な理由のない限り、発言はしないまでも参加はしておいたほうが良いと思われる。

-

なお、アンカンファレンスについては、1日目の終わりにトークン問題の解説放送もおこなった。

-

また、今年はオフラインとオンラインのハイブリッド開催であったが、去年の全オンラインと比べて、オンライン参加の体験が落ちていなかったのは、特筆すべきであろう。 -今年は 3回目のワクチン接種が間に合わなかったこともあり現地参加は見送ったのだが、来年は是非オフラインで参加したい。

-

そして来年へ……?

-

PHPerKaigi 2023 があるかどうか存じ上げないが、あるとすれば、次の 4つを目標としたい。

-
    -
  • プロポーザルを出す
    • -
  • PHPer チャレンジのトークン問題を 5題作成する
    • -
  • 現地に行く
    • -
  • PHPer チャレンジで圧勝する
    • -
-
-

最後になりましたが、PHPerKaigi のスタッフ、スポンサー、スピーカーのみなさん、素敵な時間をありがとうございました。

-

ではまた来年。

-]]> - - - - PHPerKaigi 2022 トークン問題の解説 - https://blog.nsfisis.dev/posts/2022-04-09/phperkaigi-2022-tokens/ - Sat, 09 Apr 2022 21:50:19 +0900 - - https://blog.nsfisis.dev/posts/2022-04-09/phperkaigi-2022-tokens/ - はじめに -

本日開始された PHPerKaigi 2022 の PHPer チャレンジにおいて、弊社 デジタルサーカス株式会社 の問題を 3問作成した。この記事では、これらの問題の解説をおこなう。

-

リポジトリはこちら: https://github.com/nsfisis/PHPerKaigi2022-tokens

-

第1問 brainf_ck.php

-

ソースコードはこちら。実行には PHP 8.1 以上が必要なので注意。

-
<?php
-
-declare(strict_types=0O1);
-
-namespace Dgcircus\PHPerKaigi\Y2022;
-
-/**
- * @todo
- * Run this program to acquire a PHPer token.
- */
-
-https://creativecommons.org/publicdomain/zero/1.0/
-
-\error_reporting(~+!'We are hiring!');
-
-$z = fn($f) => (fn($x) => $f(fn(...$xs) => $x($x)(...$xs)))(fn($x) => $f(fn(...$xs) => $x($x)(...$xs)));
-$id = \spl_object_id(...);
-$put = fn($c) => \printf('%c', $c);
-$mm = fn($p, $n) => new \ArrayObject(\array_fill(+!![], $n, $p));
-
-$👉 = fn($m, $p, $b, $e, $mp, $pc) => [++$mp, ++$pc];
-$👈 = fn($m, $p, $b, $e, $mp, $pc) => [--$mp, ++$pc];
-$👍 = fn($m, $p, $b, $e, $mp, $pc) => [$mp, ++$pc, ++$m[$mp]];
-$👎 = fn($m, $p, $b, $e, $mp, $pc) => [$mp, ++$pc, --$m[$mp]];
-$📝 = fn($m, $p, $b, $e, $mp, $pc) => [$mp, ++$pc, $put($m[$mp])];
-$🤡 = fn($m, $p, $b, $e, $mp, $pc) => match ($m[$mp]) {
-    +!![] => [$mp, $z(fn($loop) => fn($pc, $n) => match ($id($p[$pc])) {
-      $b => $loop(++$pc, ++$n),
-      $e => $n === +!![] ? ++$pc : $loop(++$pc, --$n),
-      default => $loop(++$pc, $n),
-    })($pc, -![])],
-    default => [$mp, ++$pc],
-};
-$🎪 = fn($m, $p, $b, $e, $mp, $pc) => match ($m[$mp]) {
-    +!![] => [$mp, ++$pc],
-    default => [$mp, $z(fn($loop) => fn($pc, $n) => match ($id($p[$pc])) {
-      $e => $loop(--$pc, ++$n),
-      $b => $n === +!![] ? $pc+![] : $loop(--$pc, --$n),
-      default => $loop(--$pc, $n),
-    })($pc, -![])],
-};
-$🐘 = fn($p) => $z(fn($loop) => fn($m, $p, $b, $e, $mp, $pc) =>
-  isset($p[$pc]) && $loop($m, $p, $b, $e, ...($p[$pc]($m, $p, $b, $e, $mp, $pc)))
-)($mm(+!![], +(![].![])), $p, $id($🤡), $id($🎪), +!![], +!![]);
-
-$🐘([
-  $👍, $👍, $👍, $👍, $👍, $👍, $👍, $👍, $👍, $👍,
-  $🤡,
-    $👉, $👍, $👍, $👍,
-    $👉, $👍, $👍, $👍, $👍, $👍,
-    $👉, $👍, $👍, $👍, $👍, $👍, $👍, $👍, $👍, $👍, $👍, $👍, $👍,
-    $👉, $👍, $👍, $👍, $👍, $👍, $👍, $👍, $👍, $👍, $👍,
-    $👈, $👈, $👈, $👈, $👎,
-  $🎪,
-  $👉, $👍, $👍, $👍, $👍, $👍, $📝,
-  $👎, $👎, $📝,
-  $👉, $👎, $👎, $👎, $📝,
-  $👉, $👎, $👎, $👎, $📝,
-  $👎, $👎, $📝,
-  $👎, $📝,
-  $👈, $📝,
-  $👉, $👉, $👎, $👎, $📝,
-  $👍, $👍, $👍, $👍, $👍, $👍, $👍, $📝,
-  $👈, $👎, $👎, $👎, $👎, $📝,
-  $👈, $📝,
-  $👉, $👍, $👍, $📝,
-  $👉, $👎, $📝,
-  $👈, $📝,
-]);
-

この問題は、単に適切なバージョンの PHP で動かせばトークンが得られる。

-

解説

-

絵文字

-

まず目につくのは大量の絵文字だろう。 -PHP は識別子に使用できる文字の範囲が広く、絵文字も使うことができる。

-

プログラム全体

-

Brainf*ck のインタプリタとプログラムになっている。 -Brainf*ck とは、難解プログラミング言語のひとつであり、ここで説明するよりも Wikipedia の該当ページを読んだ方がよい。

-

https://ja.wikipedia.org/wiki/Brainfuck

-

なお、brainf*ck プログラムを普通の書き方で書くと、次のようになる。

-
+ + + + + + + + + +
-[
-  > + + +
-  > + + + + +
-  > + + + + + + + + + + + +
-  > + + + + + + + + + +
-  < < < < -
-]
-> + + + + + .
-- - .
-> - - - .
-> - - - .
-- - .
-- .
-< .
-> > - - .
-+ + + + + + + .
-< - - - - .
-< .
-> + + .
-> - .
-< .
-

実行結果はこちら: https://ideone.com/22VWmb

-

それぞれの絵文字で表された関数が、各命令に対応している。

-
    -
  • $👉: >
    • -
  • $👈: <
    • -
  • $👍: +
    • -
  • $👎: -
    • -
  • $📝: .
    • -
  • $🤡: [
    • -
  • $🎪: ]
    • -
-

, (入力) に対応する関数はない (このプログラムでは使わないので用意していない)。

-

なお、$🐘 はいわゆる main 関数であり、プログラムの実行部分である。

-

絵文字の選択

-

おおよそ意味に合致するよう選んでいるが、$🤡 と $🎪 は弊社デジタルサーカスにちなんでいる。 -また、$🐘 は PHP のマスコットの象に由来する。

-

strict_types

-

declare 文の strict_types に指定できるのは、0 か 1 の数値リテラルだが、 -0x0 や 0b1 のような値も受け付ける。 -今回は、PHP 8.1 から追加された、0O または 0o から始まる八進数リテラルを使った。

-

URL

-

ソースコードのライセンスを示したこの部分だが、

-
https://creativecommons.org/publicdomain/zero/1.0/
-

完全に合法な PHP のコードである。 -https: 部分はラベル、// 以降は行コメントになっている。

-

リテラルなしで数値を生成する

-

ソースコード中に、ほとんど数値リテラルが書かれていないことにお気づきだろうか。 -PHP では、型変換を利用することで任意の整数を作り出すことができる。

-
assert(0 === +!![]);
-assert(1 === +![]);
-assert(2 === ![]+![]);
-assert(3 === ![]+![]+![]);
-assert(10 === +(![].+!![]));
-

[] に ! を適用すると true が返ってくる。それに + -を適用すると、bool から int ヘの型変換が走り、1 が生成される。10 -はさらにトリッキーだ。まず 1 と 0 を作り、. で文字列として結合する -('10')。これに + を適用すると、string から int -への型変換が走り、10 が生まれる (コード量に頓着しないなら、1 を 10 -個足し合わせてももちろん 10 が作れる)。

-

また、error_reporting に指定しているのは -1 である。 -これは、! によって文字列を false にし、+ によって false を 0 にし、さらにビット反転して -1 にしている。

-

if 文なしで条件分岐

-

三項演算子ないし match 式を使うことで、if を一切書かずに条件分岐ができる。 -また、&& / || も使えることがある。 -遅延評価が不要なケースでは、[$t, $f][$cond] のような形で分岐することもできる。

-

while、for 文なしでループ

-

不動点コンビネータを使って無名再帰する (詳しい説明は省略する。これらの単語で検索してほしい)。 -ここでは、一般に Z コンビネータとして知られるものを使った ($z)。

-

実際のところ、$🤡 や $🎪、$🐘 は、一度 Scheme (Lisp の一種) で書いてから PHP に翻訳する形で記述した。

-

なお、PHP は末尾再帰の最適化をおこなわない (少なくとも今のところは) ので、 -あまりに長い brainf*ck プログラムを書くとスタックオーバーフローする。

-

第2問 riddle.php

-

ソースコードはこちら。実行には PHP 8.0 以上が必要なので注意。

-
<?php
-
-/*********************************************************
- * This program displays a PHPer token.                  *
- * Guess 'N'.                                            *
- *                                                       *
- * Hints:                                                *
- * - N itself has no special meaning, e.g., 42, 8128,    *
- *   it is selected at random.                           *
- * - Each element of $token represents a single letter.  *
- * - One letter consists of 5x5 cells.                   *
- * - Remember, the output is a complete PHPer token.     *
- *                                                       *
- * License:                                              *
- *   https://creativecommons.org/publicdomain/zero/1.0/  *
- *********************************************************/
-const N = 0 /* Change it to your answer. */;
-assert(0 <= N && N <= 0b11111_11111_11111_11111_11111);
-
-$token = [
-  0x14B499C,
-  0x0BE34CC, 0x01C9C69,
-  0x0ECA069, 0x01C2449, 0x0FDB166, 0x01C9C69,
-  0x01C1C66, 0x0FC1C47, 0x01C1C66,
-  0x10C5858, 0x1E4E3B8, 0x1A2F2F8,
-];
-foreach ($token as $x) {
-  $x = $x ^ N;
-
-  $x = sprintf('%025b', $x);
-  $x = str_replace(search: ['0', '1'], replace: [' ', '#'], subject: $x);
-  $x = implode("\n", str_split($x, length: 5));
-  echo "{$x}\n\n";
-}
-

さて、この問題はさきほどのように単純に実行しただけでは、謎のブロックが表示されるだけでトークンは得られない。 -トークンを得るためには、ソースコードを読み、定数 N を特定する必要がある。

-

ここでは、私の想定解を解説する。

-

読解

-

まずはソースコードを読んでいく。

-
$token = [
-  // 略
-];
-

数値からなる $token があり、各要素をループしている。

-
  $x = $x ^ N;
-

まずは排他的論理和 (xor) を取り、

-
  $x = sprintf('%025b', $x);
-

二進数に変換して、

-
  $x = str_replace(search: ['0', '1'], replace: [' ', '#'], subject: $x);
-

0 を空白に、1 を # にし、

-
  $x = implode("\n", str_split($x, length: 5));
-

5文字ごとに区切ったあと、改行で結合している。

-

ヒント

-

次に、ソースコードに書いてあるヒントを読んでいく。

-
    -
  • N それ自体は、42 や 8128 といったような特別な意味を持たず、ランダムに決められている
    • -
  • $token の各要素は、1文字を表す
    • -
  • 1文字は 5x5 のセルからなる
    • -
  • 出力されるのは、完全な PHPer トークンである
    • -
-

ここで、PHPer トークンは必ず # 記号から始まることを思いだすと、 -$token の最初の数字 0x14B499C は、変換の結果 # になるのではないかと予想される (なお、このことは、リポジトリの README ファイルに追加ヒントとして書かれている)。

-

解く

-

ここまでわかれば、あと一歩で解ける。すなわち、0x14B499C が # に変換されるような N を見つければよい。

-

N は高々

-
assert(0 <= N && N <= 0b11111_11111_11111_11111_11111);
-

なのでブルートフォースしてもよいが、ここではブルートフォースしない方法を紹介する。

-
<?php
-
-$x = 0x14B499C;
-
-$x = $x ^ N;
-
-$x = sprintf('%025b', $x);
-$x = str_replace(search: ['0', '1'], replace: [' ', '#'], subject: $x);
-$x = implode("\n", str_split($x, length: 5));
-
-assert($x ===
-  " # # \n" .
-  "#####\n" .
-  " # # \n" .
-  "#####\n" .
-  " # # ");
-

この一連の変換に対する逆変換を考えると、次のようになる。

-
<?php
-
-$x =
-  " # # \n" .
-  "#####\n" .
-  " # # \n" .
-  "#####\n" .
-  " # # ";
-
-$x = implode('', explode("\n", $x));
-$x = str_replace(search: [' ', '#'], replace: ['0', '1'], subject: $x);
-$x = bindec($x);
-
-$n = $x ^ 0x14B499C;
-
-echo "N = $n\n";
-

これを実行すると、N が得られる。

-

第3問 toquine.php

-

ソースコードはこちら。

-
<?php
-
-// License: https://creativecommons.org/publicdomain/zero/1.0/
-// This is a quine-like program to generate a PHPer token.
-// Execute it like this: php toquine.php | php | php | php | ...
-
-$s = <<<'Q'
-<?cuc
-// Yvprafr: uggcf://perngvirpbzzbaf.bet/choyvpqbznva/mreb/1.0/
-// Guvf vf n dhvar-yvxr cebtenz gb trarengr n CUCre gbxra.
-// Rkrphgr vg yvxr guvf: cuc gbdhvar.cuc | cuc | cuc | cuc | ...
-%f$f = %f;
-$f = fge_ebg13($f); $kf = [
-%f,
-];
-$g = ahyy.snyfr; sbe ($v = 0; $v <= vagqvi(__YVAR__-035,6); ++$v) vs (!vffrg($kf[$v])) oernx; ryfr
-$g .= vzcybqr("\a", fge_fcyvg(fge_ercynpr(['0','1'], ['  ','##'], fcevags(pue(37) . '025o', $kf[$v])), 012)) . "\a\a";
-$jf = neenl_znc(sa($j) => vzcybqr(', ', $j), neenl_puhax(neenl_znc(sa($k) => fcevags('0k' . pue(37) . '07K', $k), $kf), 10));
-cevags($f, $g, fge_ebg13("<<<'Q'\a{$f}\aQ"), vzcybqr(",\a", $jf));
-Q;
-$s = str_rot13($s); $xs = [
-0x0AFABEA, 0x1F294A7, 0x1F2109F, 0x1F294A7, 0x0002800, 0x1F2109F, 0x0117041, 0x1F294A7, 0x1FAD6B5, 0x1F295B7,
-0x010FC21, 0x1FAD6B5, 0x1151151, 0x010FC21, 0x1F294A7, 0x1F295B7, 0x1FAD6B5, 0x1F294A7, 0x1F295B7, 0x1F8C63F,
-0x1F8C631, 0x1FAD6B5, 0x17AD6BD, 0x17AD6BD, 0x1F8C63F, 0x1F295B7,
-];
-$t = null.false; for ($i = 0; $i <= intdiv(__LINE__-035,6); ++$i) if (!isset($xs[$i])) break; else
-$t .= implode("\n", str_split(str_replace(['0','1'], ['  ','##'], sprintf(chr(37) . '025b', $xs[$i])), 012)) . "\n\n";
-$ws = array_map(fn($w) => implode(', ', $w), array_chunk(array_map(fn($x) => sprintf('0x' . chr(37) . '07X', $x), $xs), 10));
-printf($s, $t, str_rot13("<<<'D'\n{$s}\nD"), implode(",\n", $ws));
-

コメントにもあるとおり、次のようにして実行すれば答えがでてくる。

-
$ php toquine.php | php | php | php | ...
-

実際にはもう少しパイプで繋げなければならない。

-

解説

-

プログラム全体

-

コメントにもあるとおり、これは quine (風) のプログラムになっている。 -Quine とは、自分のソースコードをそっくりそのまま出力するようなプログラムのことである。

-

このプログラムは、実行すると自身とほとんど同じプログラムを出力する。 -異なるのはトークンになっている部分のみである。

-

トークン

-

$xs がトークンに対応している。変換のロジックは riddle.php とほぼ同じなので省略する。

-

状態保持

-

トークンの何文字目まで出力したかを、ソースコードを変えずに (quine なので) 覚えておく必要がある。 -このプログラムでは、トークンが出力されるとソースコードがだんだんと長くなっていくのを利用して、__LINE__ から情報を取得している。

-

ROT 13

-

Quine は、素朴に書くとプログラムの一部が 2回記述されてしまう。 -これがあまり美しくないので、toquine.php では、ROT 13 変換を使って難読化した。

-

それにしてもなぜこんなものが標準ライブラリに……。

-

おわりに

-

解いていただいたみなさん、また、難易度調整につきあっていただいた社内のみなさん、ありがとうございました。

-

今回は直前に作りはじめたのもあり、3問だけかつ使い古されたネタばかりになってしまいましたが、 -来年は 5問、より面白い問題を持っていきます。

-

実はもう作りはじめているので、どうか来年もありますように……。

-]]> - - - - PHPerKaigi 2021 - https://blog.nsfisis.dev/posts/2021-03-30/phperkaigi-2021/ - Tue, 30 Mar 2021 23:22:40 +0900 - - https://blog.nsfisis.dev/posts/2021-03-30/phperkaigi-2021/ - PHPerKaigi 2021 参加レポ -

2021-03-26 から 2021-03-28 にかけて開催された、PHPerKaigi 2021 に一般参加者として参加した。 -弊社デジタルサーカス株式会社 (今年1月から勤務) はダイヤモンドスポンサーとなっており、スポンサー枠のチケットを使わせていただいた。

-

このようなカンファレンスには初めて参加するのでかねてより心待ちにしていたのだが、生憎2日目から体調を崩してしまい、この記事も途中までとなっている。まだ見ていないセッションも多いが、ひとまず現時点での参加レポを書いておく。

-

発表はトラック A、B に分かれていたのだが、今回はすべて A トラックを視聴している (切り替えるのが面倒だっただけ)。

-

凡例

-
-

発表・スライドのメモ (引用ではない)

-
-

感想など

-

Day 0 前夜祭 (2021/03/27)

-

17:30 [A]

-

PHP で AWS Lambda

-
-

Rails のプロジェクトを PHPer のメンバのみでメンテ -→他のメンバもわかる PHP にリプレースを検討

-

サーバレス

-
    -
  • サーバ・インフラの管理が不要
    • -
  • アプリケーションコードの知識だけで保守可能
    • -
-

ゼロベースで作れる案件が (Railsの件とは別に) あるため、そちらで試験的に導入?

-

AWSの学習 -AWS のドキュメント -DevelopersIO

-

AWS Lambda のカスタムランタイムで PHP を動かす

-

サーバのセットアップや維持管理を気にしなくて良い -サーバーレスで PHP を動かすツールがすでにある -サーバーレス構築はすんなり

-

今は Laravel がルーティングしている -Laravel Livewire を Lambda に載せられないか？ -デプロイ方法は？ -バッチ処理は？ (Lambda は 15分の制限)

-

Lambda でコンテナイメージがサポートされるように

-

抽象化されたもの「だけ」しか知らないよりも具象の理解は助けになる

-
-

AWS Lambda のような Function as a Service はマイクロサービス化における一つの到達点に思えるのだが、これを使って実際に web サービスを作る具体的なイメージがまだ見えない (注: すべて for me として書いている)。

-

PHP on AWS Lambda があれだけ簡単に動かせるのには驚いた。

-

勝手に AWS Lambda だとフットプリントの軽さが求められそう (= PHP + Laravel などでは動かなさそう) だという先入観を持っていたのだが、この発表のデモによればそうでもないらしい。

-

18:10 [A]

-

大規模サイトの SEO

-
-

大規模サイト (100万ページ以上) -Google の基準

-

クロールバジェットを意識したSEO

-

大規模サイトでコンテンツが中頻度 (1回/週) で更新 OR 中規模サイト (10,000以上) でコンテンツが目まぐるしく変更される -これを満たさないなら、クロールバジェットを考えなくてもいい

-

サーチコンソール -「カバレッジ」の「除外」 -多すぎるのは問題→クロールバジェットを浪費している

-
    -
  • クエリの順番を決める
    • -
  • 空の値のルールを決めておく
    • -
  • リダイレクトすればインデックスはうまくいく
    • -
  • リンクが存在する限りクロールはされる
    • -
-

リニューアル前のURL

-

インデックスは移行される -リンクのURLが存在する限り、別のURLとしてクロールされる -リダイレクトされるとはいえ、リニューアル前のURLは移行した方が良い -リニューアルで無視されるようになったパラメータも注意

-

robotes.txt で拒否しているのにクロールされる -一時的に拒否を外して 404 や 301 を読ませる -内部リンクを確認する -JS でのリンクに書き換え

-

クエリパラメータからURLのパスに -/tokyo?area=HOGE → /tokyo/HOGE

-

URL 設計だいじ

-
-

SEO (Search Engine Optimization) は大して知らないので新鮮な話が多かった。その分語れることも少ない……。

-

18:50 [A]

-
-

知覚可能 -操作可能 -理解可能 -堅牢 ちゃんとしたHTMLを書く (閉じタグ・入れ子構造など)

-
    -
  • -

    標準の HTML を適切に使う

    -
    • -
  • -

    WAI-ARIA

    -
    • -
  • -

    キーボードフレンドリー

    -
    • -
  • -

    マシンフレンドリー

    -
    • -
  • -

    SEOフレンドリー

    -
    • -
-

button タグ -→キーボード -h1 タグ -→スクリーンリーダー・クローラ -a タグ

-

WAI-ARIA -HTML では表現できないセマンティクスを追加する

-
    -
  • ロール -
      -
    • 何をするのか？
      • -
    • ユーザーアクションによって変化しない
      • -
    -
    • -
  • プロパティ -
      -
    • 関連づけられたデータ
      • -
    -
    • -
  • ステート -
      -
    • 現在の状態
      • -
    -
    • -
-

まずは標準の HTML 要素で解決する -何でもかんでも WAI-ARIA を使えばいいというものではない

-

マウスホバーでツールチップが出てくるが、キーボード操作では出てこない

-

VoiceOver

-

全ての属性を使う必要はない -あくまでアクセシビリティを上げるための方法の一つにすぎない

-
-

つい最近 WAI-ARIA についての記事を読んだばかりだったので個人的にタイムリーな話題だった。(あまりこの言葉を使いたくないのだが) いわゆる「健常者」にとって、こうした問題を普段の生活の中で意識するのは難しい。だからこそ情報へのアンテナは張っておくようにしたい。

-

19:30 [A]

-

PHP で FUSE

-

個人的に楽しみだった発表。

-
-

VFS (virtual filesystem) vs 具体的なファイルシステム

-

最適な実装方法は状況により異なる

-

アプリケーションに見せるAPIは変えずに実装を隠蔽する→VFS

-

カーネルのプログラムを作るのは難しい

-
    -
  • 権限がデカすぎる
    • -
  • システム全体がクラッシュ
    • -
  • セキュリティリスク
    • -
  • 開発サイクルを回しづらい
    • -
  • ネイティブコードにコンパイルされる言語である必要がある
    • -
-

Filesystem in USEr space (FUSE)

-
    -
  • 特定の C の関数を呼ぶことで filesystem が作れる
    • -
  • FFI を持つ言語なら FUSE が使える
    • -
-

SSHFS / s3fs / Docker Desktop

-

Linux 以外でも使える

-
    -
  • dokany (on Windows)
    • -
  • osxfuse
    • -
-

VFS: システムコールが呼ばれると、ファイルシステムによってコール -FUSE: カーネル空間からユーザ空間へ通信

-

高レベルなラッパで型をつける

-

PHP 以外では Wordpress を FUSE にマウントする実装がある (C, Python など)

-
    -
  • grep できる
    • -
  • sed できる
    • -
  • 編集できる
    • -
-
-

期待通りの興味深い発表だった。FUSE 自体も今回の発表で知ったのだが、これ本体の実装を見るのも面白そうだ。 -この発表を聞きながらファイルシステムにマウントできそうなものを考えていたのだが、およそ木構造をしているものすべてと言えそうだ (ハンマーしか持っていないと云々)。何かできそうだがなかなか思いつかない。

-

Day 1 (2021/03/27)

-

10:50 [A]

-

ATDD

-
-
    -
  • ユーザーストーリー
    • -
  • ユニットテスト
    • -
  • CI/CD
    • -
-

ユーザストーリーの受け入れ条件が曖昧になりがち -デグレチェックがユニットレベルでは収まらない場合、手動で同じシナリオをテストしている

-

Q2の強化 -アジャイルテストの4象限

-

技術面/ビジネス面 -開発チーム支援(コーディング前・コーディング中)/製品批評(コーディング後)

-
    -
  • Q1: 技術面 & チーム支援 -
      -
    • TDD
      • -
    • ユニットテストなど
      • -
    -
    • -
  • Q2: ビジネス面 & チーム支援 -
      -
    • ATDD
      • -
    • ビジネス面の受け入れテストで駆動する
      • -
    -
    • -
-

Agile Alliance -ユーザストーリーのスキルレベルを高める

-

テストピラミッド

-
    -
  • -

    UI Tests

    -
    • -
  • -

    Service Tests

    -
    • -
  • -

    Unit Tests

    -
    • -
  • -

    異なる粒度のテストを書く

    -
    • -
  • -

    高レベルになるほど、持つべきテストは少なくなる

    -
      -
    • ピラミッド型になる
      • -
    -
    • -
-

高レベルテストが多すぎる→アイスクリームコーン　アンチパターン

-

ATDD (Acceptance TDD) -API経由・UI経由での高レベルテスト E2E test

-

ストーリ受け入れテスト

-

入れ子のフィードバックループ -ATDD(外側) と TDD(内側)

-

外部品質・内部品質

-

バーティカルスライスのデリバリー

-
    -
  • cucumber
    • -
  • gauge
    • -
  • behat
    • -
-

ユビキタス言語 -手動テストもspecに書く -自動化は可能だがコスパが悪い -失敗することがわかっているテスト(レッドテスト)はCIから外す -失敗時の原因究明が難しい -饒舌なエラーメッセージ -状況のスナップショット

-

Continuous Testing

-
-

User Acceptance Test (UAT) くらいの規模になると個人開発・趣味開発では触れない領域なので、大いに勉強になった。スライドに添付されている資料が相当に充実していたので、これを読むのが本番といった様相すら感じる。 -高レベルテストの自動化は現在のプロジェクトでも感じており、自動化のチャンスは伺っている。とはいえセッションでも指摘されているように自動化することにコストがかかりすぎる領域があるのも事実で、そのバランスが難しい。

-

11:50 [A]

-

型解析を用いたリファクタリング

-

型のある世界で生きてきた身として大いに楽しみにしていた発表。

-
-
    -
  • PHPStan
    • -
  • Phan
    • -
  • Psalm
    • -
-

autoload も認識できる -bootstrapFiles

-

編集箇所と利用箇所を CI でチェック -ルールレベルを徐々に引き上げていく -警告が多すぎると見落としてしまう・無視されやすくなる

-

型がついていないことによるエラーが多い

-

型よりも詳細な検査 Util_Assert::min

-

SQL を静的解析 -placeholder の型付け

-

警告レベルを低いレベルから導入 -タイプヒントを積極的に書いていく -PHPStan の拡張を追加する

-
-

昨今、動的型付き言語での型宣言・型アノテーション・型ヒントの導入が相次いでいる。長らく静的型付き言語を書いてきた私からすると、ようやく気づいたかといったところだが、ともかく型を導入する言語が増えてきた。 -今のプロジェクトでも新しく追加するコードには型をつけるよう努めているが、どうしても古いコードには型がついていない。個人的には型のないコードに対してどう型を自動的に付けるかという点に興味があり、その点で Ruby の typeprof には注目している。

-

12:30 [A]

-

昼食をとっていた。事前に何か食料を買っておくべきだった。

-

13:10 [A]

-

Documentation as Code

-

この発表も以前から非常に楽しみにしていた。

-
-

開発開始までのオーバーヘッド -新規にチームにジョイン -担当範囲外の機能を理解 -オンボーディングのコスト

-

PHPerKaigi 2020 で発表あり

-

継続的にシステムの理解を助けるドキュメント

-

継続的ドキュメンテーション -システムとドキュメントの乖離

-

書いてあることが間違っている・足りない

-
    -
  • 徐々にずれていく
    • -
  • システムの更新タイミングとドキュメントの更新タイミングに差がある
    • -
-

システムとドキュメントは対応関係がある

-
    -
  • 間違ったドキュメント
    • -
  • 存在しないドキュメント
    • -
-

システムとドキュメントの乖離を定量化する -継続的に -システムの更新に近いタイミングで ドキュメントを更新し続ける

-

Documentation as Code

-

コードと同じツールでドキュメントを書く

-
    -
  • issue tracker
    • -
  • vcs
    • -
  • plain text markup
    • -
  • automation
    • -
-

開発者 -システム -ドキュメント -構造化データ -ソフトウェア

-

システムから構造化データを抽出する -PHPDoc -OpenAPI

-

ビュー 関心ごとに合わせてアーキテクチャを一つ以上の側面(断面)で説明する

-

ビューの単位でドキュメントに

-

スタックトレースからのドキュメント生成

-
-

ドキュメントの管理は現プロジェクトでも課題と感じている。作られた当初は正しくても、実態と乖離していくのを止めるのは困難を極める。全体的に興味深い発表だったが、特にスタックトレースからのドキュメント生成というアイデアに惹かれるものを感じた。スタックトレースという実態と不可分な (乖離しない) 情報を起点にするのは理にかなっている。問題はトレースをいつ、どう取るかだろうか。それを自動化しなければ、実態との乖離が避けられないだろう。

-

14:10 [A]

-

cookie による session 管理

-

全体的に基本的な話だったので特に触れない。Cookie やセッションの話としては非常に分かりやすくまとめられていたので、知らない人が学ぶにはいい教材だろう。

-

14:50 [A]

-

PHP のエラーと例外

-
-

エラー PHPエンジンがエラーを通知する -例外 プログラムが投げる

-

PHP7-8とエラー

-

PHPエンジンのエラーの一部が \Error に変換されるようになった -→ try-catch で捕捉できる

-

\Error は例外とは異なる

-

PHP8 でエラーレベルの引き上げ

-
    -
  • 捕捉すべきもの -
      -
    • recoverable
      • -
    -
    • -
  • 捕捉すべきでないもの -
      -
    • unrecoverable
      • -
    • 開発時に対処できるもの
      • -
    -
    • -
-

例外

-
    -
  • 捕捉して事後処理
    • -
  • 捕捉せず(or 捕捉した上で)さらに上に是非を問う
    • -
-

開発段階で例外を把握し、ハンドリングを考えておく

-

\Throwable \Exception と \Error

-

\Error はキャッチすべきでない

-
    -
  • -

    \Error

    -
      -
    • 本番で起きてはいけない
      • -
    -
    • -
  • -

    \LogicException

    -
      -
    • 本番で起きてはいけない -→生じないのだから捕捉もしない
      • -
    -
    • -
  • -

    \RuntimeException

    -
      -
    • 起こるかもしれないので本番環境でも考慮する
      • -
    -
    • -
-

捕捉して対応するのではなく、未然に防ぐ

-

独自例外を使う -\Exception を投げてしまうと、 -catch (\Exception)せざるを得ない -→catch 範囲が広すぎる

-

SPL の例外を使う

-

例外翻訳 -上位のレイヤが下位のレイヤの例外を捕捉し、上位レイヤのAPIに「翻訳」する -下位レイヤの知識に依存させない

-

@throws -捕捉してほしい例外を書き連ねておく

-

呼び出しもとに負わせたい責任

-
-

PHP を学んでいる途中の私としては、今まさに聞きたい発表だった (現時点で PHP を書き始めてから 4ヶ月ほどになる)。

-

個人的に例外やエラーを最もうまく扱っているのは Go、Swift、Rust、Haskell などのエラーを「値として」扱う言語だと思っている。try-catch は通常の処理フローを完全に壊してしまう上、構文としても重すぎる。値としてのエラー通知は C言語時代への回帰ともいえるが、その頃と異なるのはエラーを暗黙のうちに握り潰すことがないということだ。これらの言語は型を持っており、静的に検証ができる (C のそれはまともな型付けではない。念のため)。

-

PHP のように、すでに例外が言語システムに根ざしている言語ではどうすればよいか。この場合も同じく静的検証の力を借りることになるだろう。

-

15:30 [A]

-

Laravel のメール認証

-

Laravel の知識がない私にはまったくついていけなかった。また、個人的にタイトルがややミスリーディングに感じた。

-

16:10 [A]

-

gRPC

-
-

Unary RPCs -Server streaming RPCs -Client streaming RPCs -Bidirectional streaming RPCs

-

Protobuf

-

実装とAPIが乖離しにくい -自動生成 -複数言語でも相互に使える

-

マイクロサービスのサービス通信 -スマホアプリ -ゲームサーバ

-

PHP では？

-

PHP ではストリーミングが難しい -リクエストごとにプロセスが使い捨て

-

PHP ではgRPCのクライアントしか対応していない

-

gRPC-Web -ブラウザで扱うためのJSライブラリ+プロトコル

-

HTTP/1.1 でも使える -Unary RPC と Server streaming RPC のみ

-

Envoy -Nginx などで相互に gRPC と gRPC-Web で変換

-

Amp -イベント駆動な並行処理のフレームワーク

-

HTTP/2 対応

-

C#のgRPC-Webが楽

-
-

(発表の中でもまさに同じことをおっしゃっていたが) PHP 以外の方が向いているだろう、というのが第一の感想である。gRPC はそれ自体というよりも Protobuf というエコシステムに乗れることのメリットが大きいと感じる。そのエコシステムにうまく乗れない時点で、うーんという感じ。

-

16:50 [A]

-

アーキテクチャテスト

-
-

Independent Core Layer Pattern

-

開発初期のアーキテクチャが崩れる -アーキテクチャ観点のコードレビューができない

-

どこにクラスを置けばよいか？ -ドキュメントがない

-

アーキテクチャ設計に関する知識が属人化・暗黙知化

-

ガイドライン

-
    -
  • 最初にルールを決めるのは簡単
    • -
  • ルール通り作り始めるのも簡単 -
      -
    • →維持するのが難しい、人が決めたものゆえ壊れやすい
      • -
    -
    • -
-

PHP の特性

-
    -
  • クラスは public
    • -
  • 可視性の制御が public / protected / private のみ
    • -
  • 依存関係の制御が困難
    • -
-

アーキテクチャテスト -クラスの依存関係や実装ルールをコードとして表現し、自動テスト化する

-
    -
  • deptrac
    • -
  • phpat
    • -
-

Independent Core Layer Pattern

-

アーキテクチャテストの失敗

-
    -
  • 実装誤り
    • -
  • or アーキテクチャが適切でない -
      -
    • 開発の過程でフィードバックしていく
      • -
    -
    • -
-

モジュラーモノリス→マイクロサービスへ

-
-

Day 2 (2021/03/28)

-

冒頭に書いた通り、2日目から体調が悪くまともに聴けていない。途中までは頭痛を我慢しつつ見ていたのだが、まともに入ってこなかった。

-

残念ではあるが、いずれにせよ見られていない発表は他にもあるので、今週末にでもまとめて見ようと思う。

-

全体の感想

-

Day 2 にほとんど参加できなかったのは残念だが、イベント自体は大変楽しく、また興味深いものであった。自分がまったく知らない領域の話を聞けるのはこうしたイベントならではだと感じる。オンライン開催ゆえ現地に行く必要がなく、気軽に参加できたのも (特に初参加者として) 嬉しいポイントだった。

-

今回、雑談/登壇者への質問等向けに Discord サーバもあったのだが、こちらは参加こそしたものの ROM のままになってしまった。発表に1ウィンドウ、メモを書くのに1ウィンドウ、Discord 表示に 1ウィンドウで私にはもう脳のリソースとディスプレイのスペースが追いつかなかった (さらにいうと Zoom でアンカンファレンスもやっていたようだ。こちらはまったく参加していない)。

-

1つ個人的な反省点としては、一つ一つのセッションを真剣に聞き過ぎたというものがある。もっと適当に聞いておけばよかった。これだけだと大変語弊があるのだが、言い方を変えると、Discord しかりアンカンファレンスしかり「このイベントのこの瞬間にしかないコンテンツ」に触れずに、後から見返せる発表やスライドに注力してしまった、ということだ。発表の詳細な見直しはあとからできるのだから、今しかできないことを考えるべきだった。 -まあ初カンファレンスだし、とお茶を濁しておこう。

-

さて、カンファレンスで一つ気になったことがある。それは、Discord という書き込み場所が増えたことでニコ生のコメントの流量が吸い取られてしまったのではないか、という点だ。ニコニコだけ見ていると過疎っているかのように見えた発表も、Discord の方では盛り上がっている、というのを何度か見かけた。ニコニコのコメント方式は盛り上がりを如実に反映するが、逆もまたしかり。Discord があったこと自体はプラスだったと思うが、この点はマイナスだったのではないかと感じる。

-
-

最後になりましたが、毎年の PHPerKaigi 開催にご尽力されている皆様、スピーカーの皆様、楽しい3日間でした。ありがとうございました！ -(ずっと常体で書いてしまったのでいきなり仏頂面から笑顔になったようで気持ち悪い)

-

ではまた来年。

-]]> - - - - diff --git a/docs/tags/phperkaigi/index.html b/docs/tags/phperkaigi/index.html deleted file mode 100644 index ac09c96..0000000 --- a/docs/tags/phperkaigi/index.html +++ /dev/null @@ -1,93 +0,0 @@ - - - - - - - - phperkaigi | REPL: Rest-Eat-Program Loop - - - - - - - - - - - - - - - -
- -
-
- -

phperkaigi

- -
-
-

PHPerKaigi 2023: ボツになったトークン問題 その 1

-
-
-

来年の PHPerKaigi 2023 でデジタルサーカス株式会社から出題予定のトークン問題のうち、 -ボツになった問題を公開する (その 1)。

-
-
- Posted on -
- -
-
-
-

PHPerKaigi 2022

-
-
-

2022-04-09 から 2022-04-11 にかけて開催された、PHPerKaigi 2022 に参加した。

-
-
- Posted on -
- -
-
-
-

PHPerKaigi 2022 トークン問題の解説

-
-
-

PHPerKaigi 2022 で私が作成した PHPer チャレンジ問題を解説する。

-
-
- Posted on , updated on -
- -
-
-
-

PHPerKaigi 2021

-
-
-

2021-03-26 から 2021-03-28 にかけて開催された、PHPerKaigi 2021 に参加した。

-
-
- Posted on -
- -
- - - - - - diff --git a/docs/tags/phperkaigi/page/1/index.html b/docs/tags/phperkaigi/page/1/index.html deleted file mode 100644 index 38c704d..0000000 --- a/docs/tags/phperkaigi/page/1/index.html +++ /dev/null @@ -1,10 +0,0 @@ - - - - https://blog.nsfisis.dev/tags/phperkaigi/ - - - - - - diff --git a/docs/tags/python/feed.xml b/docs/tags/python/feed.xml deleted file mode 100644 index 3b8ba29..0000000 --- a/docs/tags/python/feed.xml +++ /dev/null @@ -1,57 +0,0 @@ - - - - python on REPL: Rest-Eat-Program Loop - https://blog.nsfisis.dev/tags/python/ - Recent content in python on REPL: Rest-Eat-Program Loop - Hugo -- gohugo.io - ja-JP - Sat, 02 Oct 2021 09:32:37 +0900 - - [Python] クロージャとUnboundLocalError: local variable 'x' referenced before assignment - https://blog.nsfisis.dev/posts/2021-10-02/python-unbound-local-error/ - Sat, 02 Oct 2021 09:32:37 +0900 - - https://blog.nsfisis.dev/posts/2021-10-02/python-unbound-local-error/ - この記事は Qiita から移植してきたものです。 -元 URL: https://qiita.com/nsfisis/items/5d733703afcb35bbf399

-
-

本記事は Python 3.7.6 の動作結果を元にして書かれている。

-

Python でクロージャを作ろうと、次のようなコードを書いた。

-
def f():
-    x = 0
-    def g():
-        x += 1
-    g()
-
-f()
-

関数 g から 関数 f のスコープ内で定義された変数 x を参照し、それに 1 を足そうとしている。 -これを実行すると x += 1 の箇所でエラーが発生する。

-
-

UnboundLocalError: local variable ‘x’ referenced before assignment

-
-

local変数 x が代入前に参照された、とある。これは、f の x を参照するのではなく、新しく別の変数を g 内に作ってしまっているため。 -前述のコードを宣言と代入を便宜上分けて書き直すと次のようになる。var を変数宣言のための構文として擬似的に利用している。

-
# 注: var は正しい Python の文法ではない。上記参照のこと
-def f():
-    var x           #  f の local変数 'x' を宣言
-    x = 0           #  x に 0 を代入
-    def g():        #  f の内部関数 g を定義
-        var x       #  g の local変数 'x' を宣言
-                    #  たまたま f にも同じ名前の変数があるが、それとは別の変数
-        x += 1      #  x に 1 を加算 (x = x + 1 の糖衣構文)
-                    #  加算する前の値を参照しようとするが、まだ代入されていないためエラー
-    g()
-

当初の意図を表現するには、次のように書けばよい。

-
def f():
-    x = 0
-    def g():
-        nonlocal x   ## (*)
-        x += 1
-    g()
-

(*) のように、nonlocal を追加する。これにより一つ外側のスコープ (g の一つ外側 = f) で定義されている x を探しに行くようになる。

-]]> - - - - diff --git a/docs/tags/python/index.html b/docs/tags/python/index.html deleted file mode 100644 index 884872e..0000000 --- a/docs/tags/python/index.html +++ /dev/null @@ -1,56 +0,0 @@ - - - - - - - - python | REPL: Rest-Eat-Program Loop - - - - - - - - - - - - - - - -
- -
-
- -

python

- -
-
-

[Python] クロージャとUnboundLocalError: local variable 'x' referenced before assignment

-
-
-

Python における UnboundLocalError の理由と対処法。

-
-
- Posted on -
- -
- - - - - - diff --git a/docs/tags/python/page/1/index.html b/docs/tags/python/page/1/index.html deleted file mode 100644 index ca045d7..0000000 --- a/docs/tags/python/page/1/index.html +++ /dev/null @@ -1,10 +0,0 @@ - - - - https://blog.nsfisis.dev/tags/python/ - - - - - - diff --git a/docs/tags/python3/feed.xml b/docs/tags/python3/feed.xml deleted file mode 100644 index 260f94a..0000000 --- a/docs/tags/python3/feed.xml +++ /dev/null @@ -1,57 +0,0 @@ - - - - python3 on REPL: Rest-Eat-Program Loop - https://blog.nsfisis.dev/tags/python3/ - Recent content in python3 on REPL: Rest-Eat-Program Loop - Hugo -- gohugo.io - ja-JP - Sat, 02 Oct 2021 09:32:37 +0900 - - [Python] クロージャとUnboundLocalError: local variable 'x' referenced before assignment - https://blog.nsfisis.dev/posts/2021-10-02/python-unbound-local-error/ - Sat, 02 Oct 2021 09:32:37 +0900 - - https://blog.nsfisis.dev/posts/2021-10-02/python-unbound-local-error/ - この記事は Qiita から移植してきたものです。 -元 URL: https://qiita.com/nsfisis/items/5d733703afcb35bbf399

-
-

本記事は Python 3.7.6 の動作結果を元にして書かれている。

-

Python でクロージャを作ろうと、次のようなコードを書いた。

-
def f():
-    x = 0
-    def g():
-        x += 1
-    g()
-
-f()
-

関数 g から 関数 f のスコープ内で定義された変数 x を参照し、それに 1 を足そうとしている。 -これを実行すると x += 1 の箇所でエラーが発生する。

-
-

UnboundLocalError: local variable ‘x’ referenced before assignment

-
-

local変数 x が代入前に参照された、とある。これは、f の x を参照するのではなく、新しく別の変数を g 内に作ってしまっているため。 -前述のコードを宣言と代入を便宜上分けて書き直すと次のようになる。var を変数宣言のための構文として擬似的に利用している。

-
# 注: var は正しい Python の文法ではない。上記参照のこと
-def f():
-    var x           #  f の local変数 'x' を宣言
-    x = 0           #  x に 0 を代入
-    def g():        #  f の内部関数 g を定義
-        var x       #  g の local変数 'x' を宣言
-                    #  たまたま f にも同じ名前の変数があるが、それとは別の変数
-        x += 1      #  x に 1 を加算 (x = x + 1 の糖衣構文)
-                    #  加算する前の値を参照しようとするが、まだ代入されていないためエラー
-    g()
-

当初の意図を表現するには、次のように書けばよい。

-
def f():
-    x = 0
-    def g():
-        nonlocal x   ## (*)
-        x += 1
-    g()
-

(*) のように、nonlocal を追加する。これにより一つ外側のスコープ (g の一つ外側 = f) で定義されている x を探しに行くようになる。

-]]> - - - - diff --git a/docs/tags/python3/index.html b/docs/tags/python3/index.html deleted file mode 100644 index 5e18ffd..0000000 --- a/docs/tags/python3/index.html +++ /dev/null @@ -1,56 +0,0 @@ - - - - - - - - python3 | REPL: Rest-Eat-Program Loop - - - - - - - - - - - - - - - -
- -
-
- -

python3

- -
-
-

[Python] クロージャとUnboundLocalError: local variable 'x' referenced before assignment

-
-
-

Python における UnboundLocalError の理由と対処法。

-
-
- Posted on -
- -
- - - - - - diff --git a/docs/tags/python3/page/1/index.html b/docs/tags/python3/page/1/index.html deleted file mode 100644 index 1c8bbe3..0000000 --- a/docs/tags/python3/page/1/index.html +++ /dev/null @@ -1,10 +0,0 @@ - - - - https://blog.nsfisis.dev/tags/python3/ - - - - - - diff --git a/docs/tags/ruby/feed.xml b/docs/tags/ruby/feed.xml deleted file mode 100644 index 50612e5..0000000 --- a/docs/tags/ruby/feed.xml +++ /dev/null @@ -1,230 +0,0 @@ - - - - ruby on REPL: Rest-Eat-Program Loop - https://blog.nsfisis.dev/tags/ruby/ - Recent content in ruby on REPL: Rest-Eat-Program Loop - Hugo -- gohugo.io - ja-JP - Sat, 02 Oct 2021 09:38:50 +0900 - - [Ruby] then キーワードと case in - https://blog.nsfisis.dev/posts/2021-10-02/ruby-then-keyword-and-case-in/ - Sat, 02 Oct 2021 09:38:50 +0900 - - https://blog.nsfisis.dev/posts/2021-10-02/ruby-then-keyword-and-case-in/ - この記事は Qiita から移植してきたものです。 -元 URL: https://qiita.com/nsfisis/items/787a8cf888a304497223

-
-

TL; DR

-

case - in によるパターンマッチング構文でも、case - when と同じように then が使える (場合によっては使う必要がある)。

-

then とは

-

使われることは稀だが、Ruby では then がキーワードになっている。次のように使う:

-
if cond then
-  puts "Y"
-else
-  puts "N"
-end
-

このキーワードが現れうる場所はいくつかあり、if、unless、rescue、case 構文がそれに当たる。 -上記のように、何か条件を書いた後 then を置き、式がそこで終了していることを示すマーカーとして機能する。

-
# Example:
-
-if x then
-  a
-end
-
-unless x then
-  a
-end
-
-begin
-  a
-rescue then
-  b
-end
-
-case x
-when p then
-  a
-end
-

なぜ普段は書かなくてもよいのか

-

普通 Ruby のコードで then を書くことはない。なぜか。次のコードを実行してみるとわかる。

-
if true puts 'Hello, World!' end
-

次のような構文エラーが出力される。

-
20:1: syntax error, unexpected local variable or method, expecting `then' or ';' or '\n'
-if true puts 'Hello, World!' end
-        ^~~~
-20:1: syntax error, unexpected `end', expecting end-of-input
-...f true puts 'Hello, World!' end
-

二つ目のメッセージは無視して一つ目を読むと、then か ; か改行が来るはずのところ変数だかメソッドだかが現れたことによりエラーとなっているようだ。

-

ポイントは改行が then (や ;) の代わりとなることである。true の後に改行を入れてみる。

-
if true
-puts 'Hello, World!' end
-

無事 Hello, World! と出力されるようになった。

-

なぜ then や ; や改行が必要か

-

なぜ then や ; や改行 (以下 「then 等」) が必要なのだろうか。次の例を見てほしい:

-
if a b end
-

then も ; も改行もないのでエラーになるが、これは条件式がどこまで続いているのかわからないためだ。 -この例は二通りに解釈できる。

-
# a という変数かメソッドの評価結果が truthy なら b という変数かメソッドを評価
-if a then
-  b
-end
-
# a というメソッドに b という変数かメソッドの評価結果を渡して呼び出し、
-# その結果が truthy なら何もしない
-if a(b) then
-end
-

then 等はこの曖昧性を排除するためにあり、条件式は if から then 等までの間にある、ということを明確にする。 -C系の if 後に来る (/) や、Python の :、Rust/Go/Swift などの { も同じ役割を持つ。

-

Ruby の場合、プログラマーが書きやすいよう改行でもって then が代用できるので、ほとんどの場合 then は必要ない。

-

case - in における then

-

ようやく本題にたどり着いた。来る Ruby 3.0 では case と in キーワードを使ったパターンマッチングの構文が入る予定である。この構文でもパターン部との区切りとして then 等が必要になる。 -(現在の) Ruby には formal な形式での文法仕様は存在しないので、yacc の定義ファイルを参照した (yacc の説明は省略)。

-

https://github.com/ruby/ruby/blob/221ca0f8281d39f0dfdfe13b2448875384bbf735/parse.y#L3961-L3986

-
p_case_body	: keyword_in
-		    {
-			SET_LEX_STATE(EXPR_BEG|EXPR_LABEL);
-			p->command_start = FALSE;
-			$<ctxt>1 = p->ctxt;
-			p->ctxt.in_kwarg = 1;
-			$<tbl>$ = push_pvtbl(p);
-		    }
-		    {
-			$<tbl>$ = push_pktbl(p);
-		    }
-		  p_top_expr then
-		    {
-			pop_pktbl(p, $<tbl>3);
-			pop_pvtbl(p, $<tbl>2);
-			p->ctxt.in_kwarg = $<ctxt>1.in_kwarg;
-		    }
-		  compstmt
-		  p_cases
-		    {
-		    /*%%%*/
-			$$ = NEW_IN($4, $7, $8, &@$);
-		    /*% %*/
-		    /*% ripper: in!($4, $7, escape_Qundef($8)) %*/
-		    }
-		;
-

簡略版:

-
p_case_body	: keyword_in p_top_expr then compstmt p_cases
-		;
-

ここで、keyword_in は文字通り in、p_top_expr はいわゆるパターン、then は then キーワードのことではなく、この記事で then 等と呼んでいるもの、つまり then キーワード、;、改行のいずれかである。

-

これにより、case - when による従来の構文と同じように、then 等をパターンの後ろに挿入すればよいことがわかった。つまり次の3通りのいずれかになる:

-
case x
-in 1 then a
-in 2 then b
-in 3 then c
-end
-
-case x
-in 1
-  a
-in 2
-  b
-in 3
-  c
-end
-
-case x
-in 1; a
-in 2; b
-in 3; c
-end
-

ところで、p_top_expr には if による guard clause が書けるので、その場合は if - then と似たような見た目になる。

-
case x
-in 0 then a
-in n if n < 0 then b
-in n then c
-end
-

まとめ

-
    -
  • if や case の条件の後ろには then、;、改行のいずれかが必要 -
      -
    • 通常は改行しておけばよい
      • -
    -
    • -
  • 3.0 で入る予定の case - in でも then 等が必要になる
    • -
  • Ruby の構文を正確に知るには (現状) parse.y を直接読めばよい
    • -
-]]> - - - - [Ruby] 自身を実行している処理系の種類を判定する - https://blog.nsfisis.dev/posts/2021-10-02/ruby-detect-running-implementation/ - Sat, 02 Oct 2021 09:37:50 +0900 - - https://blog.nsfisis.dev/posts/2021-10-02/ruby-detect-running-implementation/ - この記事は Qiita から移植してきたものです。 -元 URL: https://qiita.com/nsfisis/items/74d7ffeeebc51b20d791

-
-

Ruby という言語には複数の実装があるが、それらをスクリプト上からどのようにして programmatically に見分ければよいだろうか。

-

Object クラスに定義されている RUBY_ENGINE という定数がこの用途に使える。

-

参考: Object::RUBY_ENGINE

-

上記ページの例から引用する:

-
$ ruby-1.9.1 -ve 'p RUBY_ENGINE'
-ruby 1.9.1p0 (2009-03-04 revision 22762) [x86_64-linux]
-"ruby"
-$ jruby -ve 'p RUBY_ENGINE'
-jruby 1.2.0 (ruby 1.8.6 patchlevel 287) (2009-03-16 rev 9419) [i386-java]
-"jruby"
-

それぞれの処理系がどのような値を返すかだが、stack overflow に良い質問と回答があった。

-

What values for RUBY_ENGINE correspond to which Ruby implementations? より引用:

-
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
RUBY_ENGINEImplementation
<undefined>MRI < 1.9
‘ruby’MRI >= 1.9 or REE
‘jruby’JRuby
‘macruby’MacRuby
‘rbx’Rubinius
‘maglev’MagLev
‘ironruby’IronRuby
‘cardinal’Cardinal
-
-

なお、この質問・回答は 2014年になされたものであり、値は変わっている可能性がある。MRI (aka CRuby) については執筆時現在 (2020/12/8) も 'ruby' が返ってくることを確認済み。

-

この表にない主要な処理系として、mruby は 'mruby' を返す。

-

mruby 該当部分のソース より引用:

-
/*
- * Ruby engine.
- */
-#define MRUBY_RUBY_ENGINE  "mruby"
-
]]> - - - - diff --git a/docs/tags/ruby/index.html b/docs/tags/ruby/index.html deleted file mode 100644 index a23cbbf..0000000 --- a/docs/tags/ruby/index.html +++ /dev/null @@ -1,68 +0,0 @@ - - - - - - - - ruby | REPL: Rest-Eat-Program Loop - - - - - - - - - - - - - - - -
- -
-
- -

ruby

- -
-
-

[Ruby] then キーワードと case in

-
-
-

Ruby 3.0 で追加される case in 構文と、then キーワードについて。

-
-
- Posted on -
- -
-
-
-

[Ruby] 自身を実行している処理系の種類を判定する

-
-
-

Ruby には複数の実装があるが、自身を実行している処理系の種類をスクリプト上からどのように判定すればよいだろうか。

-
-
- Posted on -
- -
- - - - - - diff --git a/docs/tags/ruby/page/1/index.html b/docs/tags/ruby/page/1/index.html deleted file mode 100644 index 9374bc8..0000000 --- a/docs/tags/ruby/page/1/index.html +++ /dev/null @@ -1,10 +0,0 @@ - - - - https://blog.nsfisis.dev/tags/ruby/ - - - - - - diff --git a/docs/tags/ruby3/feed.xml b/docs/tags/ruby3/feed.xml deleted file mode 100644 index 530cc62..0000000 --- a/docs/tags/ruby3/feed.xml +++ /dev/null @@ -1,155 +0,0 @@ - - - - ruby3 on REPL: Rest-Eat-Program Loop - https://blog.nsfisis.dev/tags/ruby3/ - Recent content in ruby3 on REPL: Rest-Eat-Program Loop - Hugo -- gohugo.io - ja-JP - Sat, 02 Oct 2021 09:38:50 +0900 - - [Ruby] then キーワードと case in - https://blog.nsfisis.dev/posts/2021-10-02/ruby-then-keyword-and-case-in/ - Sat, 02 Oct 2021 09:38:50 +0900 - - https://blog.nsfisis.dev/posts/2021-10-02/ruby-then-keyword-and-case-in/ - この記事は Qiita から移植してきたものです。 -元 URL: https://qiita.com/nsfisis/items/787a8cf888a304497223

-
-

TL; DR

-

case - in によるパターンマッチング構文でも、case - when と同じように then が使える (場合によっては使う必要がある)。

-

then とは

-

使われることは稀だが、Ruby では then がキーワードになっている。次のように使う:

-
if cond then
-  puts "Y"
-else
-  puts "N"
-end
-

このキーワードが現れうる場所はいくつかあり、if、unless、rescue、case 構文がそれに当たる。 -上記のように、何か条件を書いた後 then を置き、式がそこで終了していることを示すマーカーとして機能する。

-
# Example:
-
-if x then
-  a
-end
-
-unless x then
-  a
-end
-
-begin
-  a
-rescue then
-  b
-end
-
-case x
-when p then
-  a
-end
-

なぜ普段は書かなくてもよいのか

-

普通 Ruby のコードで then を書くことはない。なぜか。次のコードを実行してみるとわかる。

-
if true puts 'Hello, World!' end
-

次のような構文エラーが出力される。

-
20:1: syntax error, unexpected local variable or method, expecting `then' or ';' or '\n'
-if true puts 'Hello, World!' end
-        ^~~~
-20:1: syntax error, unexpected `end', expecting end-of-input
-...f true puts 'Hello, World!' end
-

二つ目のメッセージは無視して一つ目を読むと、then か ; か改行が来るはずのところ変数だかメソッドだかが現れたことによりエラーとなっているようだ。

-

ポイントは改行が then (や ;) の代わりとなることである。true の後に改行を入れてみる。

-
if true
-puts 'Hello, World!' end
-

無事 Hello, World! と出力されるようになった。

-

なぜ then や ; や改行が必要か

-

なぜ then や ; や改行 (以下 「then 等」) が必要なのだろうか。次の例を見てほしい:

-
if a b end
-

then も ; も改行もないのでエラーになるが、これは条件式がどこまで続いているのかわからないためだ。 -この例は二通りに解釈できる。

-
# a という変数かメソッドの評価結果が truthy なら b という変数かメソッドを評価
-if a then
-  b
-end
-
# a というメソッドに b という変数かメソッドの評価結果を渡して呼び出し、
-# その結果が truthy なら何もしない
-if a(b) then
-end
-

then 等はこの曖昧性を排除するためにあり、条件式は if から then 等までの間にある、ということを明確にする。 -C系の if 後に来る (/) や、Python の :、Rust/Go/Swift などの { も同じ役割を持つ。

-

Ruby の場合、プログラマーが書きやすいよう改行でもって then が代用できるので、ほとんどの場合 then は必要ない。

-

case - in における then

-

ようやく本題にたどり着いた。来る Ruby 3.0 では case と in キーワードを使ったパターンマッチングの構文が入る予定である。この構文でもパターン部との区切りとして then 等が必要になる。 -(現在の) Ruby には formal な形式での文法仕様は存在しないので、yacc の定義ファイルを参照した (yacc の説明は省略)。

-

https://github.com/ruby/ruby/blob/221ca0f8281d39f0dfdfe13b2448875384bbf735/parse.y#L3961-L3986

-
p_case_body	: keyword_in
-		    {
-			SET_LEX_STATE(EXPR_BEG|EXPR_LABEL);
-			p->command_start = FALSE;
-			$<ctxt>1 = p->ctxt;
-			p->ctxt.in_kwarg = 1;
-			$<tbl>$ = push_pvtbl(p);
-		    }
-		    {
-			$<tbl>$ = push_pktbl(p);
-		    }
-		  p_top_expr then
-		    {
-			pop_pktbl(p, $<tbl>3);
-			pop_pvtbl(p, $<tbl>2);
-			p->ctxt.in_kwarg = $<ctxt>1.in_kwarg;
-		    }
-		  compstmt
-		  p_cases
-		    {
-		    /*%%%*/
-			$$ = NEW_IN($4, $7, $8, &@$);
-		    /*% %*/
-		    /*% ripper: in!($4, $7, escape_Qundef($8)) %*/
-		    }
-		;
-

簡略版:

-
p_case_body	: keyword_in p_top_expr then compstmt p_cases
-		;
-

ここで、keyword_in は文字通り in、p_top_expr はいわゆるパターン、then は then キーワードのことではなく、この記事で then 等と呼んでいるもの、つまり then キーワード、;、改行のいずれかである。

-

これにより、case - when による従来の構文と同じように、then 等をパターンの後ろに挿入すればよいことがわかった。つまり次の3通りのいずれかになる:

-
case x
-in 1 then a
-in 2 then b
-in 3 then c
-end
-
-case x
-in 1
-  a
-in 2
-  b
-in 3
-  c
-end
-
-case x
-in 1; a
-in 2; b
-in 3; c
-end
-

ところで、p_top_expr には if による guard clause が書けるので、その場合は if - then と似たような見た目になる。

-
case x
-in 0 then a
-in n if n < 0 then b
-in n then c
-end
-

まとめ

-
    -
  • if や case の条件の後ろには then、;、改行のいずれかが必要 -
      -
    • 通常は改行しておけばよい
      • -
    -
    • -
  • 3.0 で入る予定の case - in でも then 等が必要になる
    • -
  • Ruby の構文を正確に知るには (現状) parse.y を直接読めばよい
    • -
-]]> - - - - diff --git a/docs/tags/ruby3/index.html b/docs/tags/ruby3/index.html deleted file mode 100644 index b204a64..0000000 --- a/docs/tags/ruby3/index.html +++ /dev/null @@ -1,56 +0,0 @@ - - - - - - - - ruby3 | REPL: Rest-Eat-Program Loop - - - - - - - - - - - - - - - -
- -
-
- -

ruby3

- -
-
-

[Ruby] then キーワードと case in

-
-
-

Ruby 3.0 で追加される case in 構文と、then キーワードについて。

-
-
- Posted on -
- -
- - - - - - diff --git a/docs/tags/ruby3/page/1/index.html b/docs/tags/ruby3/page/1/index.html deleted file mode 100644 index 15caf8a..0000000 --- a/docs/tags/ruby3/page/1/index.html +++ /dev/null @@ -1,10 +0,0 @@ - - - - https://blog.nsfisis.dev/tags/ruby3/ - - - - - - diff --git a/docs/tags/rust/feed.xml b/docs/tags/rust/feed.xml deleted file mode 100644 index 60f98d3..0000000 --- a/docs/tags/rust/feed.xml +++ /dev/null @@ -1,143 +0,0 @@ - - - - rust on REPL: Rest-Eat-Program Loop - https://blog.nsfisis.dev/tags/rust/ - Recent content in rust on REPL: Rest-Eat-Program Loop - Hugo -- gohugo.io - ja-JP - Sat, 02 Oct 2021 09:39:27 +0900 - - Rust のプリミティブ型はどこからやって来るか - https://blog.nsfisis.dev/posts/2021-10-02/rust-where-are-primitive-types-from/ - Sat, 02 Oct 2021 09:39:27 +0900 - - https://blog.nsfisis.dev/posts/2021-10-02/rust-where-are-primitive-types-from/ - この記事は Qiita から移植してきたものです。 -元 URL: https://qiita.com/nsfisis/items/9a429432258bbcd6c565

-
-

前置き

-

Rust において、プリミティブ型の名前は予約語でない。したがって、次のコードは合法である。

-
#![allow(non_camel_case_types)]
-#![allow(dead_code)]
-
-struct bool;
-struct char;
-struct i8;
-struct i16;
-struct i32;
-struct i64;
-struct i128;
-struct isize;
-struct u8;
-struct u16;
-struct u32;
-struct u64;
-struct u128;
-struct usize;
-struct f32;
-struct f64;
-struct str;
-

では、普段単に bool と書いたとき、この bool は一体どこから来ているのか。rustc のソースを追ってみた。

-
-

前提知識: 一般的なコンパイラの構造、用語。rustc そのものの知識は不要 (というよりも筆者自身がよく知らない)

-
-

調査

-

調査に使用したソース (調査時点での最新 master)

-

https://github.com/rust-lang/rust/tree/511ed9f2356af365ad8affe046b3dd33f7ac3c98

-

どのようにして調べるか。rustc の構造には詳しくないため、すぐに当たりをつけるのは難しい。

-

大雑把な構造としては、compiler フォルダ以下に rustc_* という名前のクレートが数十個入っている。これがどうやら rustc コマンドの実装部のようだ。

-

rustc はセルフホストされている (= rustc 自身が Rust で書かれている) ので、bool や char などで適当に検索をかけてもノイズが多すぎて話にならない。 -しかし、お誂え向きなことに i128/u128 というコンパイラ自身が使うことがなさそうな型が存在するのでこれを使って git grep してみる。

-
$ git grep "\bi128\b" | wc      # i128
-     165    1069   15790
-
-$ git grep "\bu128\b" | wc      # u128
-     293    2127   26667
-
-$ git grep "\bbool\b" | wc      # cf. bool の結果
-    3563   23577  294659
-

165 程度であれば探すことができそうだ。今回は、クレート名を見ておおよその当たりをつけた。

-
$ git grep "\bi128\b"
-...
-rustc_resolve/src/lib.rs:        table.insert(sym::i128, Int(IntTy::I128));
-...
-

rustc_resolve というのはいかにも名前解決を担いそうなクレート名である。該当箇所を見てみる。

-
/// Interns the names of the primitive types.
-///
-/// All other types are defined somewhere and possibly imported, but the primitive ones need
-/// special handling, since they have no place of origin.
-struct PrimitiveTypeTable {
-    primitive_types: FxHashMap<Symbol, PrimTy>,
-}
-
-impl PrimitiveTypeTable {
-    fn new() -> PrimitiveTypeTable {
-        let mut table = FxHashMap::default();
-
-        table.insert(sym::bool, Bool);
-        table.insert(sym::char, Char);
-        table.insert(sym::f32, Float(FloatTy::F32));
-        table.insert(sym::f64, Float(FloatTy::F64));
-        table.insert(sym::isize, Int(IntTy::Isize));
-        table.insert(sym::i8, Int(IntTy::I8));
-        table.insert(sym::i16, Int(IntTy::I16));
-        table.insert(sym::i32, Int(IntTy::I32));
-        table.insert(sym::i64, Int(IntTy::I64));
-        table.insert(sym::i128, Int(IntTy::I128));
-        table.insert(sym::str, Str);
-        table.insert(sym::usize, Uint(UintTy::Usize));
-        table.insert(sym::u8, Uint(UintTy::U8));
-        table.insert(sym::u16, Uint(UintTy::U16));
-        table.insert(sym::u32, Uint(UintTy::U32));
-        table.insert(sym::u64, Uint(UintTy::U64));
-        table.insert(sym::u128, Uint(UintTy::U128));
-        Self { primitive_types: table }
-    }
-}
-

これは初めに列挙したプリミティブ型の一覧と一致している。doc comment にも、

-
-

All other types are defined somewhere and possibly imported, but the primitive ones need special handling, since they have no place of origin.

-
-

とある。次はこの struct の使用箇所を追う。追うと言っても使われている箇所は次の一箇所しかない。なお説明に不要な箇所は大きく削っている。

-
    /// This resolves the identifier `ident` in the namespace `ns` in the current lexical scope.
-    /// (略)
-    fn resolve_ident_in_lexical_scope(
-        &mut self,
-        mut ident: Ident,
-        ns: Namespace,
-        // (略)
-    ) -> Option<LexicalScopeBinding<'a>> {
-        // (略)
-
-        if ns == TypeNS {
-            if let Some(prim_ty) = self.primitive_type_table.primitive_types.get(&ident.name) {
-                let binding =
-                    (Res::PrimTy(*prim_ty), ty::Visibility::Public, DUMMY_SP, ExpnId::root())
-                        .to_name_binding(self.arenas);
-                return Some(LexicalScopeBinding::Item(binding));
-            }
-        }
-
-        None
-    }
-

関数名や doc comment が示している通り、この関数は識別子 (identifier, ident) を現在のレキシカルスコープ内で解決 (resolve) する。 -if ns == TypeNS のブロック内では、primitive_type_table (上記の PrimitiveTypeTable::new() で作られた変数) に含まれている識別子 (bool、i32 など) かどうか判定し、そうであればそれに紐づけられたプリミティブ型を返している。

-

なお、ns は「名前空間」を示す変数である。Rust における名前空間はC言語におけるそれとほとんど同じで、今探している名前が関数名/変数名なのか型なのかマクロなのかを区別している。この if は、プリミティブ型に解決されるのは型を探しているときだけだ、と言っている。

-

重要なのは、これが resolve_ident_in_lexical_scope() の最後に書かれている点である。つまり、最初に挙げたプリミティブ型の識別子は、「名前解決の最終段階で」、「他に同名の型が見つかっていなければ」プリミティブ型として解決される。

-

動作がわかったところで、例として次のコードを考える。

-
#![allow(non_camel_case_types)]
-
-struct bool;
-
-fn main() {
-    let _: bool = bool;
-}
-

ここで main() の bool は struct bool として解決される。なぜなら、プリミティブ型の判定をする前に bool という名前の別の型が見つかるからだ。

-

まとめ

-

Rust のプリミティブ型は予約語ではない。名前解決の最終段階で特別扱いされ、他に同名の型が見つかっていなければ対応するプリミティブ型に解決される。

-]]> - - - - diff --git a/docs/tags/rust/index.html b/docs/tags/rust/index.html deleted file mode 100644 index 7b89cc4..0000000 --- a/docs/tags/rust/index.html +++ /dev/null @@ -1,56 +0,0 @@ - - - - - - - - rust | REPL: Rest-Eat-Program Loop - - - - - - - - - - - - - - - -
- -
-
- -

rust

- -
-
-

Rust のプリミティブ型はどこからやって来るか

-
-
-

Rust のプリミティブ型は予約語ではなく普通の識別子である。どのようにこれが名前解決されるのかを調べた。

-
-
- Posted on -
- -
- - - - - - diff --git a/docs/tags/rust/page/1/index.html b/docs/tags/rust/page/1/index.html deleted file mode 100644 index 5cf7d43..0000000 --- a/docs/tags/rust/page/1/index.html +++ /dev/null @@ -1,10 +0,0 @@ - - - - https://blog.nsfisis.dev/tags/rust/ - - - - - - diff --git a/docs/tags/vim/feed.xml b/docs/tags/vim/feed.xml deleted file mode 100644 index 73bb677..0000000 --- a/docs/tags/vim/feed.xml +++ /dev/null @@ -1,191 +0,0 @@ - - - - vim on REPL: Rest-Eat-Program Loop - https://blog.nsfisis.dev/tags/vim/ - Recent content in vim on REPL: Rest-Eat-Program Loop - Hugo -- gohugo.io - ja-JP - Sat, 02 Oct 2021 09:37:25 +0900 - - Vimで選択した行の順番を入れ替える - https://blog.nsfisis.dev/posts/2021-10-02/vim-swap-order-of-selected-lines/ - Sat, 02 Oct 2021 09:37:25 +0900 - - https://blog.nsfisis.dev/posts/2021-10-02/vim-swap-order-of-selected-lines/ - この記事は Qiita から移植してきたものです。 -元 URL: https://qiita.com/nsfisis/items/4fefb361d9a693803520

-
-

バージョン情報

-

:version の一部

-
-

VIM - Vi IMproved 8.2 (2019 Dec 12, compiled Jan 26 2020 11:30:30) -macOS version -Included patches: 1-148 -Huge version without GUI.

-
-

よく紹介されている手法

-

tac / tail

-

tac や tail -r などの外部コマンドを ! を使って呼び出し、置き換える。

-
-

:h v_!

-
-

tac コマンドや tail の -r オプションは環境によって利用できないことがあり、複数の環境を行き来する場合に採用しづらい

-

:g/^/m0

-

こちらは外部コマンドに頼らず、Vim の機能のみを使う。g は :global コマンドの、m は :move コマンドの略

-

:global コマンドは :[range]global/{pattern}/[command] のように使い、[range] で指定された範囲の行のうち、{pattern} で指定された検索パターンにマッチする行に対して、順番に [command] で指定された Ex コマンドを呼び出す。

-
-

:h :global

-
-

:move コマンドは [range]:move {address} のように使い、[range] で指定された範囲の行を {address} で指定された位置に移動させる。

-
-

:h :move

-
-

:g/^/m0 のように組み合わせると、「すべての行を1行ずつ 0行目(1行目の上)に動かす」という動きをする。これは確かに行の入れ替えになっている。

-

なお、:g/^/m0 は全ての行を入れ替えるが、:N,Mg/^/mN-1 とすることで N行目から M行目を処理範囲とするよう拡張できる。手でこれを入力するわけにはいかないので、次のようなコマンドを用意する。

-
command! -bar -range=%
-    \ Reverse
-    \ <line1>,<line2>g/^/m<line1>-1
-

これは望みの動作をするが、実際に実行してみると全行がハイライトされてしまう。次節で詳細を述べる。

-

:g/^/m0 の問題点

-

:global コマンドは各行に対してマッチングを行う際、現在の検索パターンを上書きしてしまう。^ は行の先頭にマッチするため、結果として全ての行がハイライトされてしまう。'hlsearch' オプションを無効にしている場合その限りではないが、その場合でも直前の検索パターンが失われてしまうと n コマンドなどの際に不便である。

-
-

:h @/

-
-

解決策

-
-

[2020/9/28追記] -より簡潔な方法を見つけたので次節に追記した

-
-

前述した :Reverse コマンドの定義を少し変えて、次のようにする:

-
function! s:reverse_lines(from, to) abort
-    execute printf("%d,%dg/^/m%d", a:from, a:to, a:from - 1)
-endfunction
-
-command! -bar -range=%
-    \ Reverse
-    \ call <SID>reverse_lines(<line1>, <line2>)
-

実行しているコマンドが変わったわけではないが、関数呼び出しを経由するようにした。これだけで前述の問題が解決する。

-

この理由は、ユーザー定義関数を実行する際は検索パターンが一度保存され、実行が終了したあと復元されるため。結果として検索パターンが ^ で上書きされることがなくなる。

-

Vim のヘルプから該当箇所を引用する (強調は筆者による)。

-
-

:h autocmd-searchpat

-

Autocommands do not change the current search patterns. Vim saves the current -search patterns before executing autocommands then restores them after the -autocommands finish. This means that autocommands do not affect the strings -highlighted with the ‘hlsearch’ option.

-
-

これは autocommand の実行に関しての記述だが、これと同じことがユーザー定義関数の実行時にも適用される。このことは :nohlsearch のヘルプにある。同じく該当箇所を引用する (強調は筆者による)。

-
-

:h :nohlsearch

-

(略) This command doesn’t work in an autocommand, because -the highlighting state is saved and restored when -executing autocommands |autocmd-searchpat|. -Same thing for when invoking a user function.

-
-

この仕様により、:g/^/m0 の呼び出しをユーザー定義関数に切り出すことで上述の問題を解決できる。

-

解決策 (改訂版)

-
-

[2020/9/28追記] -より簡潔な方法を見つけたため追記する

-
-
command! -bar -range=%
-    \ Reverse
-    \ keeppatterns <line1>,<line2>g/^/m<line1>-1
-

まさにこのための Exコマンド、:keeppatterns が存在する。:keeppatterns {command} のように使い、読んで字の如く、後ろに続く Exコマンドを「現在の検索パターンを保ったまま」実行する。はるかに分かりやすく意図を表現できる。

-
-

:h :keeppatterns

-
-

コピペ用再掲

-
" License: Public Domain
-
-command! -bar -range=%
-    \ Reverse
-    \ keeppatterns <line1>,<line2>g/^/m<line1>-1
-
]]> - - - - [Vim] autocmd events の BufWrite/BufWritePre の違い - https://blog.nsfisis.dev/posts/2021-10-02/vim-difference-between-autocmd-bufwrite-and-bufwritepre/ - Sat, 02 Oct 2021 09:37:12 +0900 - - https://blog.nsfisis.dev/posts/2021-10-02/vim-difference-between-autocmd-bufwrite-and-bufwritepre/ - この記事は Qiita から移植してきたものです。 -元 URL: https://qiita.com/nsfisis/items/79ab4db8564032de0b25

-
-

TL; DR

-

違いはない。ただのエイリアス。

-

調査記録

-

Vim の autocmd events には似通った名前のものがいくつかある。大抵は :help に説明があるが、この記事のタイトルにある2つを含めた以下のイベントには、その違いについて説明がない。

-
    -
  • BufRead/BufReadPost
    • -
  • BufWrite/BufWritePre
    • -
  • BufAdd/BufCreate
    • -
-

このうち、BufAdd/BufCreate に関しては、:help BufCreate に

-
-

The BufCreate event is for historic reasons.

-
-

とあり、おそらくは BufAdd のエイリアスであろうということがわかる。他の2組も同様ではないかと予想されるが、確認のため vim と neovim のソースコードを調査した。

-
-

ソースコードへのリンク -vim (調査時点での master branch) -neovim (上に同じ)

-
-

vim のソースコード

-

以下は、autocmd events の名前と内部で使われている整数値とのマッピングを定義している箇所である。見ての通り、上でエイリアスではないかと述べた3組には、それぞれ同じ内部値が使われている。

-

https://github.com/vim/vim/blob/8e6be34338f13a6a625f19bcef82019c9adc65f2/src/autocmd.c#L85-L86

-
    {"BufAdd",		EVENT_BUFADD},
-    {"BufCreate",	EVENT_BUFADD},
-

https://github.com/vim/vim/blob/8e6be34338f13a6a625f19bcef82019c9adc65f2/src/autocmd.c#L95-L97

-
    {"BufRead",		EVENT_BUFREADPOST},
-    {"BufReadCmd",	EVENT_BUFREADCMD},
-    {"BufReadPost",	EVENT_BUFREADPOST},
-

https://github.com/vim/vim/blob/8e6be34338f13a6a625f19bcef82019c9adc65f2/src/autocmd.c#L103-L105

-
    {"BufWrite",	EVENT_BUFWRITEPRE},
-    {"BufWritePost",	EVENT_BUFWRITEPOST},
-    {"BufWritePre",	EVENT_BUFWRITEPRE},
-

neovim のソースコード

-

neovim の場合でも同様のマッピングが定義されているが、こちらの場合は Lua で書かれている。以下にある通り、はっきり aliases と書かれている。

-

https://github.com/neovim/neovim/blob/71d4f5851f068eeb432af34850dddda8cc1c71e3/src/nvim/auevents.lua#L119-L124

-
  aliases = {
-    BufCreate = 'BufAdd',
-    BufRead = 'BufReadPost',
-    BufWrite = 'BufWritePre',
-    FileEncoding = 'EncodingChanged',
-  },
-

ところで、上では取り上げなかった FileEncoding だが、これは :help FileEncoding にしっかりと書いてある。

-
                                                           *FileEncoding*
-FileEncoding                    Obsolete.  It still works and is equivalent
-                                to |EncodingChanged|.
-

まとめ

-

記事タイトルについて言えば、どちらも変わらないので好きな方を使えばよい。あえて言えば、次のようになるだろう。

-
    -
  • BufAdd/BufCreate -
      -
    • → BufCreate は歴史的な理由により (“for historic reasons”) 存在しているため、新しい方 (BufAdd) を使う
      • -
    -
    • -
  • BufRead/BufReadPost -
      -
    • → BufReadPre との対称性のため、あるいは BufWritePost との対称性のため BufReadPost を使う
      • -
    -
    • -
  • BufWrite/BufWritePre -
      -
    • → BufWritePost との対称性のため、あるいは BufReadPre との対称性のため BufWritePre を使う
      • -
    -
    • -
  • FileEncoding/EncodingChanged -
      -
    • → FileEncoding は “Obsolete” と明言されているので、EncodingChanged を使う
      • -
    -
    • -
-

ところでこの調査で知ったのだが、BufRead と BufWrite は上にある通り発火するタイミングが「後」と「前」で対称性がない。可能なら Pre/Post 付きのものを使った方が分かりやすいだろう。

-]]> - - - - diff --git a/docs/tags/vim/index.html b/docs/tags/vim/index.html deleted file mode 100644 index 5964ab8..0000000 --- a/docs/tags/vim/index.html +++ /dev/null @@ -1,68 +0,0 @@ - - - - - - - - vim | REPL: Rest-Eat-Program Loop - - - - - - - - - - - - - - - -
- -
-
- -

vim

- -
-
-

Vimで選択した行の順番を入れ替える

-
-
-

Vim で選択した行の順番を入れ替える方法。

-
-
- Posted on -
- -
-
-
-

[Vim] autocmd events の BufWrite/BufWritePre の違い

-
-
-

Vim の autocmd events における BufWrite/BufWritePre がどう違うのかを調べた結果、違いはないことがわかった。

-
-
- Posted on -
- -
- - - - - - diff --git a/docs/tags/vim/page/1/index.html b/docs/tags/vim/page/1/index.html deleted file mode 100644 index 52be41d..0000000 --- a/docs/tags/vim/page/1/index.html +++ /dev/null @@ -1,10 +0,0 @@ - - - - https://blog.nsfisis.dev/tags/vim/ - - - - - - -- cgit v1.2.3-70-g09d2