私が歌川です

@utgwkk が書いている

手元のVPSのIPv6対応進捗

技術

utgw.net

DNSレコード

% nslookup -type=AAAA utgw.net
Server:         157.7.180.133
Address:        157.7.180.133#53

Non-authoritative answer:
utgw.net        has AAAA address 2400:8500:1301:735:133:130:96:110

Authoritative answers can be found from:

nginx

  • 対応したはず
    • butimili.utgw.net も対応しています

sugarheart.utgw.net

DNSレコード

% nslookup -type=AAAA sugarheart.utgw.net
Server:         157.7.180.133
Address:        157.7.180.133#53

Non-authoritative answer:
sugarheart.utgw.net     has AAAA address 2400:8500:1302:826:a150:95:148:1810

Authoritative answers can be found from:

対応してない

  • 外向きに IPv6 を喋ってくれない
    • ルーティングに失敗しているらしい

THE IDOLM@STER CINDERELLA GIRLS 5thLIVE TOUR Serendipity Parade!!! 静岡公演に行った

書くタイミングを失っていた．とりあえず当日のツイートでお茶を濁します(静岡だけに)．

乙倉くんが見れるなら，という理由でチケットを申し込んだ気がするが，それ以上にぜんぶ楽しかった． 明日は幕張公演のライブビューイングに行きます．

あわせて読みたい

utgwkk.hateblo.jp

utgwkk.hateblo.jp

「世の中どんどん便利になるのに、なぜ仕事はなくならないのか？謎だ…」

それなに

だれ

[ぐうたら王国]双葉杏+

ポエム

この台詞は，双葉杏さんの人間性を表しているだけかと思いきや，その奥の洞察力とか，そういったところを映していると思う． 我々は2017年にもなってまだ労働に束縛されている． それを社会に生きるところの人間の宿命と言いきってしまうのは思考停止ではなかろうか？

あわせて読みたい

utgwkk.hateblo.jp

ハッシュタグ #世の中どんどん便利になるのになぜ仕事はなくならないのか謎だ で検索

シャーペンと消しゴムがあると練り消しで遊びたくなる対策

小学生の頃から消しカスがあると練り消しを作らずにいられない性分だった． 今でもそうだが，何も消さなくてもいいのにわざわざ消しゴムを磨り減らして練り消しを作ってしまうということがあって，あまり心象がよくない．

QQPOW Fidget Cube リリーフ ルービックキューブ おもちゃ クリスマスギフト ポケットゲーム (黒赤い)

QQPOW Fidget Cube リリーフ ルービックキューブ おもちゃ クリスマスギフト ポケットゲーム (黒赤い)

ヨドバシで同じようなのを買った．

www.rakunew.com

値段がめちゃくちゃ違うしちょっとチープなのですぐ壊れるのでは? と思っている． 今は主にスティックをぐるぐる回すといったことをしている．

ハンドスピナー欲しい気がしてきた．

■

技術

人間の注意力には限界があり，どうしても型エラーは回避できない． そういったときに，静的型の言語であればコンパイル時に，あるいは IDE の機能によってエラーを出す，といった運用が可能である． 動的型の言語でも最近では型ヒントやすごい IDE の力によってそういったことができるようになってきつつあるように感じるが，それはそうとしてプログラムは依然として実行可能である． 動的型であれば型を気にせず書ける，というのはやはり幻想であるという思いを強くしており，それに近いのは型推論機構のある静的型言語である． 型を何も気にしなくてもよい，というのは言いすぎであるが，型推論が自動でふさわしい型を判定してくれるため，我々はそれに従って書くことに注力できる． 間違った型が混在したプログラムは実行されない．

つい最近にも，動的型の言語を書いているとどうしてもつらいんです，という思いを吐露したことがあり，それでもやはり長く書いているためサクッと書くことができるのだが，製品レベルのコードになると，静的型がない分のコストがかかっているという印象がある*1． 漸進的型付けという選択肢は，動的型であり続けたいが，しかし保守のコストをもう少し下げたい，という思いから来ているのではなかろうか． 構文レベルで型ヒントを導入する，とあるが，しかしやはり依然としてドキュメントとしての型に過ぎず，実際に制約をかける存在としての型ではない*2．

大学の実験で型推論機構付きインタプリタを書いていて，型推論の仕組みが少しだけ分かってきたという段階にある．

*1:違う型のオブジェクトが投げられたらエラー，というテストを書くのにも嫌気がさしてくる．

*2:もちろん mypy のチェックに落ちたら絶対にデプロイさせない，みたいな選択はできるだろう．

YAPC::Fukuoka 2017 行った #yapcjapan #yapcfukuoka

yapcjapan.org

ブログを書くまでがYAPCです．

  • 前回*1に比べてPerlの話が多かったと思う．
    • Perl 最近ずっと書いてないので頷くしかできないみたいな場面もある．
      • が，それでも言語にかかわらず学ぶべき方法論みたいな話も多かったのでとても参考になった．
        • 処理系のバージョンアップとかコミュニケーションのためのツールとか．
        • コンテナの話もけっこうありましたね．
    • 前回もそうだがインターネットで見るエンジニアの方々が集合しているみたいな感じだった．
      • そういった人たちはだいたい Perl を書いている(ことが多い)．
  • 学生支援制度で行けて便利最高だった．
    • スポンサー企業の皆様ありがとうございました．おかげさまでホテルで気持ちよく朝を迎えられました．
  • エンディングで id:papix さんがサイリウムを掲げると参加者のみなさんがサイリウムを折っていったところが感動的だった．
    • サイリウムはずっと配られていたみたい．
      • 聞くところ活用したのは今回が初めてっぽい？
    • スタッフの皆様ありがとうございました．
  • Perl よく書く人は Go を好む傾向があると思ったんですけど実際どうなんでしょう？
    • 誰か検証してほしい．
  • 福岡でラーメンとうどん食べられたのでよかった．

重ね重ねになりますが，運営スタッフの皆様，スポンサー企業の皆様，そして Perl Monger の皆様，エンジニアの皆様，ありがとうございました．

次回の YAPC::Okinawa も行きたいですね．交通手段と宿さえ解決すればあとは体調の問題っぽい．

あわせて読みたい

utgwkk.hateblo.jp

*1:https://utgwkk.hateblo.jp/entry/2017/03/10/223108

imagemagick で高速に名刺を作る

技術

生活をしていると，いきなり名刺が必要になることがあると思います．

高速に名刺を作るのに必要なものは，imagemagick と画像データとUSBメモリと小銭です．

名刺画像を用意します

gyazo.com

デレステには名刺作成機能があるので，高速に作成できます．

imagemagick で画像を並べて結合します

$ magick montage -tile 2x5 -border 1x1 -geometry +0+0 IMG_0362.PNG IMG_0362.PNG (...必要な数だけ...) IMG_0362.PNG namecard.pdf

結合します． -tile に必要な数を列x行で指定し， -border に区切りの線の太さを指定します． 名刺の枚数だけ入力画像ファイルパス (今回は IMG_0362.PNG ですね) を指定する必要があるので，シェル芸で乗り切ってください． 私は cmd.exe から入力したので気合でした．

成功すれば， namecard.pdf に次のような画像が出力されているはずです．

gyazo.com

PDFにしているのは，我々はとうとう写真を印刷する方法を知らず，慣れ親しんだ方法で失敗を減らすためです．

コンビニで印刷します

上質な紙が使えるコンビニで印刷すれば，名刺らしいものができます．お金はがんばってください．2x5枚でローソンのA4上質紙にちょうど入るぐらいです．区切り線はもう少し太くてもいいかもしれません．1x1は細い．

こうして我々は名刺を取り戻しました．

gyazo.com

追記

静岡公演2日目に行きますので，よろしくお願いします．

ところで，上の設定だと一般的な名刺入れを少しはみ出すので，区切り線を太くするなどして対処してください．

あわせて読みたい

utgwkk.hateblo.jp

utgwkk.hateblo.jp