review 2023

<h3 id="今年の目標"><a href="#今年の目標">今年の目標</a></h3>
<ul>
<li>運動 → (オペ後を除いて)平均して週5で30分程度の運動量を確保できた.</li>
</ul>
<h3 id="どんな年"><a href="#どんな年">どんな年</a></h3>
腸を切った
<h3 id="来年は"><a href="#来年は">来年は</a></h3>
<ul>
<li>引き続き運動</li>
<li>アウトプット</li>
</ul>

2023年振り返り

review 2022

<h3 id="去年の目標"><a href="#去年の目標">去年の目標</a></h3>
<ul>
<li>安易にわかったつもりにならない → 一年間だいぶ気をつけて過ごせた</li>
<li>運動 → ↑に注力したため完全に忘れてた</li>
</ul>
<h3 id="どんな年"><a href="#どんな年">どんな年</a></h3>
<h4 id="紅茶コーディネータの資格をとった"><a href="#紅茶コーディネータの資格をとった">紅茶コーディネータの資格をとった</a></h4>
<blockquote class="twitter-tweet">いえーい <a href="https://t.co/Tn5yT49xig">pic.twitter.com/Tn5yT49xig</a>&mdash; koka (@k_0ka) <a href="https://twitter.com/k_0ka/status/1491401349422288904?ref_src=twsrc%5Etfw">February 9, 2022</a></blockquote> <script async src="https://platform.twitter.com/widgets.js" charset="utf-8"></script>
トータル10ヶ月くらいかかった。
必須課題がWEBテスト5回と実習レポート1回で、任意課題が10個くらい。
正直取得したことでなにかが変わったりとかはなかったし、紅茶が好きな人なら淹れ方も知ってる内容ではあると思う。
個人的に最も勉強になったのはペアリングフード・アレンジティーの章で、基本的なお菓子が作れるようになった。
<h4 id="読んだ本"><a href="#読んだ本">読んだ本</a></h4>
なんとなく分かったつもりになってる内容の本を読んだ。
<ul>
<li>SYSTEM DESIGN INTERVIEW (Volume 1, 2)</li>
<li>TEAM TOPOLOGIES</li>
<li>Designing Data-Intensive Applications</li>
<li>Capitarism without Capital</li>
<li>The good immigrant</li>
<li>プログラム意味論</li>
<li>並行プログラミング入門</li>
<li>Measure, Integral and Probability: 買ったけどあまり読めてない</li>
</ul>
<h4 id="プライベート"><a href="#プライベート">プライベート</a></h4>
秋頃からOSS活動をちょっと始めた。
<img src="/img/github_activity.png" />
<code>rust-lang/rust</code>にいくつか取り込まれたものもあるが、ほとんどが<code>rust-lang/clippy</code>に対するPR。 
ある程度成熟したプロジェクトだが、新しいlintを実装したり、他のlintのFalse positiveを修正したり色々貢献できる箇所は多い印象。
また、このブログ用につくった<a href="remark-container">remark-custom-container</a>が他でも使われ始めたようで、いくつかissueやPRの対応を行った。
大きいのは<a href="https://github.com/koka831/remark-custom-container/pull/139" target="_blank" rel="nofollow noopener noreferrer">これ</a>で、custom containerの要素に文字列以外の要素を持てるようになった。
<h3 id="来年は"><a href="#来年は">来年は</a></h3>
<ul>
<li>運動</li>
</ul>

2022年振り返り

update remark-custom-container to 1.2.0

Until v1.2.0, <a href="https://github.com/koka831/remark-custom-container" target="_blank" rel="nofollow noopener noreferrer"><code>remark-custom-container</code></a> only handle single-line element as a container child, since it relies on naive regular expression. 
Now it supports multiple elements as children of container directives.
<h3 id="example"><a href="#example">example</a></h3>
<div class="remark-highlight"><pre class="language-markdown"><code class="language-markdown">::: info sample title

Container children
Container children

&#x3C;details>
 &#x3C;summary>HTML tag works too&#x3C;/summary>
 &#x3C;p>:tada:&#x3C;/p>
&#x3C;/details>

:::
</code></pre></div>
will be rendered as follows:
<div class="remark-container info"><div class="remark-container__title">sample title</div>Container children
Container children<details>
 <summary>HTML tag works too</summary>
 🎉
</details></div>

Support multiple contents in the container directive

Release remark-custom-container 1.2.0

add note

<a href="https://github.com/rust-lang/rust-clippy" target="_blank" rel="nofollow noopener noreferrer">rust-clippy</a>はrustcのAPIを利用しており、<code>clippy</code>のソースコードを編集する際、デフォルトでは<a href="https://rust-analyzer.github.io/" target="_blank" rel="nofollow noopener noreferrer">rust-analyzer</a>の補完が効かない.
そのため<code>rust-analyzer</code>に対し以下の設定が必要.
<div class="remark-highlight"><pre class="language-json"><code class="language-json">{ "rust-analyzer.rustc.source": "discover" }
</code></pre></div>
これを<a href="https://github.com/simrat39/rust-tools.nvim" target="_blank" rel="nofollow noopener noreferrer">rust-tools.nvim</a>で設定する方法が若干わかりづらかったのでメモ.
<h2 id="tldr"><a href="#tldr">TL;DR</a></h2>
結論、以下の様に<code>server</code>に対し<code>settings.["rust-analyzer"]</code>を渡す.
<div class="remark-highlight"><pre class="language-lua"><code class="language-lua">require('rust-tools').setup({
 server = {
 settings = {
 ["rust-analyzer"] = {
 rustc = {
 source = "discover"
 }
 }
 }
 }
})
</code></pre></div>
<hr>
<code>rust-tools</code>の<a href="https://github.com/simrat39/rust-tools.nvim#configuration" target="_blank" rel="nofollow noopener noreferrer">#configuration</a>の項を見ると、<code>rust-analyzer</code>へのオプションを渡す<code>server</code>が用意されていることがわかる.
<div class="remark-highlight"><pre data-file="rust-tools.nvim#configuration" class="language-lua"><code class="language-lua">-- all the opts to send to nvim-lspconfig
 -- these override the defaults set by rust-tools.nvim
 -- see <a href="https://github.com/neovim/nvim-lspconfig/blob/master/doc/server_configurations.md#rust_analyzer" class="token url-link">https://github.com/neovim/nvim-lspconfig/blob/master/doc/server_configurations.md#rust_analyzer</a>
 server = {
 -- standalone file support
 -- setting it to false may improve startup time
 standalone = true,
 }, -- rust-analyzer options
</code></pre></div>
<blockquote>
all the opts to send to nvim-lspconfig
</blockquote>
とあるので、<code>nvim-lspconfig</code>での設定をそのまま<code>rust-tools</code>の<code>server</code>に記述すればよいのだが、当時の自分は"そうは言っても<code>["rust-analyzer"]</code>ディレクティブに渡すのだろう"と思い込みんでいた.

rust-tools.nvim(nvim-lspconfig)でrust-clippyの開発時にrust-analyzerの補完を有効化するための設定方法

clippyの開発でもrust-analyzerを使いたい

review

<blockquote class="twitter-tweet">復帰です、対戦ありがとうございました。 後々振り返ります&mdash; koka (@k_0ka) <a href="https://twitter.com/k_0ka/status/1368585546780397573?ref_src=twsrc%5Etfw">March 7, 2021</a></blockquote> <script async src="https://platform.twitter.com/widgets.js" charset="utf-8"></script>
2021年は自分として時間を過ごせたので満点。
<h3 id="どんな年"><a href="#どんな年">どんな年</a></h3>
2020年の頭から精神的に不調をきたしていて、1年がかりで寛解ということになった。 
引き金になった出来事はあるにせよ、もともと理想の自分と現実の自分との差に落ち込むことが多々あったので、どのみちこうなっていたとは思う。
子供の頃から、自分が失敗したときに後始末を他の人にさせてしまうことがとても苦痛だった。 
そういうときに割りを食った人が自分のことを責めてくれればまだいいのだけれど、大抵は優しく、ときに腫れ物に触れるように、慰めるように接してくれる。 
その人の優しさだったり、あるいは社交性であることを頭では理解しているつもりだけど、内心ではその人から見限られたのではないかと正気ではいられない。
<hr>
プログラミングは個人で挑戦と失敗のサイクルを回せる。誰にも迷惑はかけない。 
でもソフトウェアエンジニアリングになると話が変わってくる。これは個人戦ではない。 
メンバーごとに求められる役割は異なり、その役割も変化していく。
僕はチームのメンバーとしての動き方と開発者個人としての動き方が頻繁に切り替わることに慣れておらず、体調を崩してしまった。
ということで復帰してから、プライベートでは自分に足りてなかった部分の勉強を主にしていた。
主題はエンジニアリングで、設計やテスト、エクストリームプログラミングなど自分の弱みに沿った本を選んだ。
過去に読んだ本も、理解したつもりになっているものがあったのでいくつかピックアップした。
<ul>
<li>PATTERNS OF ENTERPRISE APPLICATION ARCHITECTURE</li>
<li>Clean Architecture 達人に学ぶソフトウェアの構造と設計</li>
<li>Effective Ruby</li>
<li>The RSpec Book</li>
<li>組織パターン</li>
<li>Design It! プログラマーのためのアーキテクティング入門</li>
<li>セキュア・バイ・デザイン 安全なソフトウェア設計</li>
<li>CISOハンドブック 業務執行のための情報セキュリティ実践ガイド</li>
<li>リファクタリング 既存のコードを安全に改善する [第2版]</li>
</ul>
単純に読みたい本も読んだ。
<ul>
<li>Rust in Action</li>
<li>Rust for Rustaceans</li>
<li>Zero to Production in Rust</li>
<li>Webブラウザセキュリティ</li>
</ul>
数はかなり少ない代わりに、常に読み返すような感じで生活していたので満足度は悪くない。 
4回とか読んだ本でも5回目に得られる気付きがあったりした。
<h3 id="プライベート"><a href="#プライベート">プライベート</a></h3>
6月頃からコーチングを依頼して、今も継続している。 
最初は思考の過程を含めた自分の意見を伝える練習としてお願いしたが、かなり効果が出ているように感じる。
これは来年も継続していきたい。
次に春から受講を始めた紅茶コーディネーターは、まだ課題が残っている(12月で完了予定だった)。 
やることはまだ残っているが、3回に1回くらいはまともなお茶を淹れられるようになった気がする。
<h3 id="反省"><a href="#反省">反省</a></h3>
iPadを購入して、普段のノートがすべて電子化された。 
それ自体はいいのだけれど、見える形でアウトプットせずに満足することが増えたので、来年はこまめに書いていきたい(読んだ本の記録とかも)。
ヘルニアになってしまった(完)。 
アーロンチェアを買って無敵のつもりでいたが、人体はとても脆い。
<h3 id="来年は"><a href="#来年は">来年は</a></h3>
<ul>
<li>安易にわかったつもりにならない</li>
<li>運動(椎間板は運動しないと栄養が届かないらしい、ホンマ)</li>
</ul>
の2本立てでお送りします。
<hr>

今年もお世話になりました。 
特に僕が復帰するまでの間気にかけてくださった皆さんには、必ず恩返しができるように精進します。

2021年振り返り

fix: use Static Generation(SG) instead of SSG

add link to github

scratch new blog with Next.js; switched from VuePress

Renewal Blog

fix some

update

copy md

<h2 id="0-partition-table"><a href="#0-partition-table">0. Partition Table</a></h2>
インストール先のディスク名を調べる.
<div class="remark-highlight"><pre data-file="terminal" class="language-shell-session"><code class="language-shell-session">$fdisk -l
bar
</code></pre></div>
<h2 id="1-reset-partition"><a href="#1-reset-partition">1. Reset Partition</a></h2>
<ul>
<li>cgdisk/sgdiskを使う
<ul>
<li>cgdiskがcursesベースなので使いやすい</li>
</ul>
</li>
</ul>
<div class="remark-highlight"><pre class="language-shell-session"><code class="language-shell-session">$ cgdisk /dev/nvme0n1
</code></pre></div>
<div class="remark-highlight"><pre class="language-shell-session"><code class="language-shell-session">$ ls -la
</code></pre></div>
最低限必要なpartitionは以下の3つ.
<ul>
<li>/boot/efi: EFI</li>
<li>/boot : Linux FS</li>
<li>/ (root) : Linux FS</li>
</ul>
ブートセクタの開始領域がEFIになっている必要があるので、上から順に設定していく.
/boot/efiが/bootに入れ子になっているが, mount時に調整する.
<h3 id="efi-partition"><a href="#efi-partition">EFI partition</a></h3>
<ul>
<li>/boot/efi partition
<ul>
<li>First Sector: Enter(default)</li>
<li>Size in sectors: 512M</li>
<li>Hex code or GUID: ef00</li>
<li>Enter new partition name: EFI System</li>
</ul>
</li>
</ul>
<h3 id="boot-partition"><a href="#boot-partition">boot partition</a></h3>
<ul>
<li>/boot
<ul>
<li>First Sector: Enter(default)</li>
<li>Size: 512M</li>
<li>Hex: 8300</li>
<li>Enter new partition name: Linux filesystem</li>
</ul>
</li>
</ul>
<h3 id="root-partition"><a href="#root-partition">root partition</a></h3>
<ul>
<li>/
<ul>
<li>First Sector: Enter(default)</li>
<li>Size: Enter(default=max)</li>
<li>Hex: 8300</li>
<li>Enter new partition name: Linux filesystem</li>
</ul>
</li>
</ul>
<h3 id="result-of-partitioning"><a href="#result-of-partitioning">Result of partitioning</a></h3>
<ul>
<li>512G SSDを対象に行うと以下のようになる.</li>
</ul>
<div class="remark-highlight"><pre class="language-shell-session"><code class="language-shell-session">$ fdisk -l
Device Start End Sectors Size Type
/dev/nvme0n1p1 2048 1050623 1048576 512M Efi system
/dev/nvme0n1p2 1050624 2099199 1048576 512M Linux filesystem
/dev/nvme0n1p3 2099200 1000215182 998115983 476G Linux filesystem
</code></pre></div>
<h2 id="2-disk-format"><a href="#2-disk-format">2. Disk Format</a></h2>
mkfsを用いて各partitionをフォーマットする. 
efi領域はFAT32指定、その他Linux filesystemの領域はext4等好みのファイルシステムを用いる.
<div class="remark-highlight"><pre class="language-shell-session"><code class="language-shell-session">$ mkfs.fat -F32 /dev/nvme0n1p1
$ mkfs.ext4 /dev/nvme0n1p2
$ mkfs.ext4 /dev/nvme0n1p3
</code></pre></div>
<h2 id="3-mount-volume"><a href="#3-mount-volume">3. Mount Volume</a></h2>
1, 2で作成したpartitionをboot USBからアクセスできるようにマウントする.
1.で行ったパーティショニングとマウントの順番が異なるので注意(1敗).
<div class="remark-highlight"><pre class="language-shell-session"><code class="language-shell-session"># /root
$ mount /dev/nvme0n1p3 /mnt

# /boot
$ mkdir /mnt/boot
$ mount /dev/nvme0n1p2 /mnt/boot

# /boot/efi
$ mkdir /mnt/boot/efi
$ mount /dev/nvme0n1p1 /mnt/boot/efi
</code></pre></div>
<h2 id="4-install-linux-system"><a href="#4-install-linux-system">4. Install Linux system</a></h2>
<h3 id="setup-repository-mirror"><a href="#setup-repository-mirror">Setup repository mirror</a></h3>
<code>/etc/pacman.d/mirrorlist</code>を編集し現在位置から距離の近いミラーを一番上にもってくる.
<div class="remark-highlight"><pre class="language-shell-session"><code class="language-shell-session">$ vim /etc/pacman.d/mirrorlist
# use mirror in Japan
</code></pre></div>
<h3 id="install-base-system"><a href="#install-base-system">Install base system</a></h3>
マウントした<code>/root</code>に対してLinuxやその後の作業に必要な諸々をインストールする.
後述する5.1でマウント領域に<code>chroot</code>したあとはboot USB内のデフォルトツール類が使えなくなるので, エディタはここでインストールしておく.
<div class="remark-highlight"><pre class="language-shell-session"><code class="language-shell-session"># linux base system
pacstrap /mnt base linux linux-firmware
# for wifi
pacstrap /mnt base-devel grub efibootmgr dosfstools netctl iw wpa_supplicant networkmanager dialog vim
</code></pre></div>
<h3 id="generate-fstab-file"><a href="#generate-fstab-file">generate fstab file</a></h3>
<div class="remark-highlight"><pre class="language-sh"><code class="language-sh">genfstab -U /mnt &#x26;gt;&#x26;gt; /mnt/etc/fstab</code></pre></div>
<h3 id="check-filesystem"><a href="#check-filesystem">check filesystem</a></h3>
<div class="remark-highlight"><pre class="language-shell-session"><code class="language-shell-session">$ cat /mnt/etc/fstab
/dev/nvme0n1p3 / ext4 rw,relatime 0 1
/dev/nvme0n1p2 /boot ext4 rw,relatime 0 2
/dev/nvme0n1p1 /boot/efi vfat rw,relatime,fmask=0022,codepage=... 0 2
</code></pre></div>
<h2 id="5-enter-arch"><a href="#5-enter-arch">5 enter arch!</a></h2>
<div class="remark-highlight"><pre class="language-shell-session"><code class="language-shell-session">arch-chroot /mnt /bin/bash
</code></pre></div>
<h3 id="setup-localetimezone"><a href="#setup-localetimezone">Setup locale/timezone</a></h3>
<div class="remark-highlight"><pre class="language-shell-session"><code class="language-shell-session"># locale
$ vim /etc/locale.gen
# uncomment en_US.UTF-8 and ja_JP.UTF-8
$ locale-gen
$ echo "LANG=en_US.UTF-8" > /etc/locale.conf

# timezone
$ tzselect 4, 19, 1
$ hwclock --systohc --utc
</code></pre></div>
<h3 id="setup-bootloader"><a href="#setup-bootloader">Setup bootloader</a></h3>
bootloaderの作成.
<div class="remark-highlight"><pre class="language-shell-session"><code class="language-shell-session">$ mkinitcpio -p linux
$ grub-install --target=x86_64-efi --efi-directory=/boot/efi --bootloader-id=arch --boot-directory=/boot/efi/EFI --recheck
$ grub-mkconfig -o /boot/efi/EFI/grub/grub.cfg
</code></pre></div>
<h3 id="change-root-password--add-user"><a href="#change-root-password--add-user">Change Root password &#x26; add User</a></h3>
5.4にてリブートする前にユーザを作成しておく(1敗).
<div class="remark-highlight"><pre class="language-shell-session"><code class="language-shell-session">$ passwd
$ useradd -m -g users -G wheel -s /bin/bash koka
$ passwd koka
$ visudo # and uncomment %Wheel all=(all) all
</code></pre></div>
<h3 id="reboot--eject-usb"><a href="#reboot--eject-usb">Reboot &#x26; eject USB</a></h3>
シャットダウンしてbootUSBを取り外し再起動する
<h2 id="6-setup-arch-linux"><a href="#6-setup-arch-linux">6. Setup Arch Linux</a></h2>
<h3 id="network"><a href="#network">network</a></h3>
wifiの設定.
<code>nmtui</code>が好きなのでNetworkManagerを用いた.
セットアップ後の開発において<code>systemd-nspawn</code>を使う場合, ネットワークアダプタは<code>systemd-networkd</code>なのでそっちの場合は<code>systemd</code>に統一しといたほうが後々楽.
<div class="remark-highlight"><pre class="language-shell-session"><code class="language-shell-session">$ systemctl start NetworkManager
$ systemctl enable NetworkManager
$ nmtui
</code></pre></div>
<h3 id="setup-x-window-system"><a href="#setup-x-window-system">Setup X Window System</a></h3>
<a href="https://wiki.archlinux.jp/index.php/Xorg" target="_blank" rel="nofollow noopener noreferrer">ref</a>
CUIからGUIへ.
<div class="remark-highlight"><pre class="language-shell-session"><code class="language-shell-session">$ lspci | grep -e VGA -e 3D
$ # XとDMとしてlight DM(とログイン画面)をインストール
$ pacman -S xf86-video-intel xorg-server xorg-xrdb lightdm lightdm-gtk-greeter
$ # terminal emulatorも入ってないので何かしらいれとく(1敗)
$ pacman -S rxvt-unicode

$ systemctl enable lightdm
$ # WMをインストール
$ pacman -S i3-gaps i3status dmenu
$ # tlp/バッテリ最適化モジュール
$ pacman -S tlp
$ # フォント
$ # ブラウザやアプリはデフォだとシステム設定のフォント読まずに表示が汚くなるので、
$ # デフォ指定に含まれているttf-dejavuを入れとく(Ubuntuのデフォフォント).
$ pacman -S ttf-fira-code oft-ipamjfont ttf-dejavu
$ pacman -S xorg-xbacklight # 画面の明るさ
$ pacman -S pulseaudio-alsa alsa-utils alsa-plugins # 音量
</code></pre></div>

Install Arch Linux

add graph & styling

remove old

<h2 id="abc132-e-hopscotch-addict"><a href="#abc132-e-hopscotch-addict"><a href="https://atcoder.jp/contests/abc132/tasks/abc132_e" target="_blank" rel="nofollow noopener noreferrer">ABC132-E Hopscotch Addict</a></a></h2>
<h3 id="概要"><a href="#概要">概要</a></h3>
有向グラフ<code>G(N, M)</code>が与えられ, グラフ上を一度の移動で3頂点進む. 頂点Sから頂点Tまで移動できる場合の最短経路を求める.
<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics><mrow><mn>2</mn><mo>≤</mo><mi>N</mi><mo>≤</mo><mn>1</mn><msup><mn>0</mn><mn>5</mn></msup><mo separator="true">,</mo><mn>0</mn><mo>≤</mo><mi>M</mi><mo>≤</mo><mi>m</mi><mi>i</mi><mi>n</mi><mo stretchy="false">(</mo><mn>1</mn><msup><mn>0</mn><mn>5</mn></msup><mo separator="true">,</mo><mi>N</mi><mo stretchy="false">(</mo><mi>N</mi><mo>−</mo><mn>1</mn><mo stretchy="false">)</mo><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex">2 \leq N \leq 10^5, 0 \leq M \leq min(10^5, N(N-1))</annotation></semantics></math>2≤N≤105,0≤M≤min(105,N(N−1))
<h3 id="考察"><a href="#考察">考察</a></h3>
頂点Sから頂点Tの経路かつ経路長が3の倍数であるもののうち, 最短のものを求めたい.
長さが3の倍数であるという制約を扱うために, 以下のようにグラフに遷移状態をもたせる.
<div class="graph-wrapper">
 <div class="graph">
 <div class="edge">A</div>
 <div class="node"></div>
 <div class="edge">B</div>
 <div class="node"></div>
 <div class="edge">C</div>
 <div class="node"></div>
 <div class="edge">D</div>
 </div>
</div>
<div>
 <div class="graph">
 <div class="edge">A, 0</div>
 <div class="node"></div>
 <div class="edge">B, 1</div>
 <div class="node"></div>
 <div class="edge">C, 2</div>
 <div class="node"></div>
 <div class="edge">D, 0</div>
 </div>
</div>
このようにすることで<code>(A, 0) => (D, 0)</code>のパスの長さが3となる. 
ここで<code>D → A</code>のパスがあると仮定すると, 二週目は以下のようになる.
<div class="graph-wrapper">
 <div class="graph">
 <div class="edge">D, 0</div>
 <div class="node"></div>
 <div class="edge">A, 1</div>
 <div class="node"></div>
 <div class="edge">B, 2</div>
 <div class="node"></div>
 <div class="edge">C, 0</div>
 </div>
</div>
よって<code>(A, 0) => (D, 0) => (C, 0)</code>のパスが制約のもとで存在することがわかる. 
このようにして<code>(S, 0) => (T, 0)</code> のパスが存在するかどうかを判定すればよい.
<h3 id="解答"><a href="#解答">解答</a></h3>
遷移した回数を<code>v</code>として, <code>0, 1, 2, 0, 1, ...</code>の状態は <code>v % 3</code>で管理した.
<div class="remark-highlight"><pre data-file="e.rs" class="language-rust line-numbers"><code class="language-rust">use std::io;
use std::collections::VecDeque;

/// head comment
fn main() {
 let (n, m) = {
 let i = read::&#x3C;usize>();
 (i[0], i[1])
 };

 // line comment
 let mut g = vec![Vec::new(); n];
 for _ in 0..m {
 let (u, v) = {
 let i = read::&#x3C;usize>();
 (i[0] - 1, i[1] - 1)
 };
 g[u].push(v);
 }
 let (s, t) = {
 let i = read::&#x3C;usize>();
 (i[0] - 1, i[1] - 1)
 };

 let mut que = VecDeque::new();
 let mut dist = vec![vec![::std::usize::MAX; 3]; n];
 que.push_back((s, 0));
 while let Some((u, v)) = que.pop_front() {
 if dist[u][v % 3] != ::std::usize::MAX { continue; }
 dist[u][v % 3] = v;

 for i in 0..g[u].len() {
 let vv = g[u][i];
 que.push_back((vv, v + 1));
 }
 }

 if dist[t][0] != ::std::usize::MAX { println!("{}", dist[t][0] / 3); }
 else { println!("-1"); }
}
</code></pre></div>
<style>
.graph-wrapper {
 display: flex;
 flex-wrap: wrap;
 justify-content: space-around;
}

.graph {
 margin: 2rem 0;
 font-size: 0.8rem;
 display: flex;
 justify-content: center;
}

.graph .edge {
 position: relative;
 z-index: 0;
 background: #98971a;
 width: 2.5rem;
 height: 2.5rem;
 border-radius: 50%;
 text-align: center;
 line-height: 2.5rem;
}

.graph .node {
 position: relative;
 width: 2rem;
 height: 1.2rem;
 border-bottom: 1.5px solid #7c6f64;
 text-align: center;
}
</style>

Hopscotch Addict

<h2 id="abstract"><a href="#abstract">Abstract</a></h2>
<ul>
<li>single repositoryで複数のprojectを管理する</li>
<li>ビルド時に<code>nuxt.config.js</code>を上書きし, <code>pages</code>をproject毎に分離</li>
</ul>
<h2 id="motivation"><a href="#motivation">Motivation</a></h2>
<ul>
<li><code>admin</code>と<code>user</code>で共通のコンポーネントがある</li>
<li><code>/user</code>, <code>/admin</code> のようにルーティングで分ける方法もあるが, そもそも<code>/admin</code> を外に出したくない(同じ環境で動作させたくない)</li>
</ul>
<h3 id="1-setup-subdir"><a href="#1-setup-subdir">1. setup subdir</a></h3>
<a href="https://github.com/nuxt/create-nuxt-app" target="_blank" rel="nofollow noopener noreferrer">create-nuxt-app</a>で生成したテンプレートを元に, <code>admin/</code>ディレクトリ配下にサブプロジェクトを作成する.
<div class="remark-highlight"><pre class="language-sh"><code class="language-sh">$ mkdir -p admin/{pages,layouts}
$ touch admin/app.config.js
$ls
.gitignore
.nuxt/
admin/ &#x26;lt;-- new
 layouts/
 pages/
 app.config.js
assets/
components/
...
layouts/ &#x26;lt;-- default
pages/ &#x26;lt;-- default
</code></pre></div>
<h3 id="2-configure-appconfigjs"><a href="#2-configure-appconfigjs">2. configure app.config.js</a></h3>
<code>srcDir</code>を<code>admin</code>とすることで, Nuxtがみるプロジェクトが<code>admin/</code>配下になる.
これでNuxtが生成するroutingも<code>admin/pages</code>によるものになる.
そのため, Storeをadmin側でも持ちたい場合は<code>admin/store/</code>を作成する.
また, <code>admin/pages/xxx.vue</code> でも<code>import XXX from '@/components/...</code>のように<code>@</code>を用いる為に<code>build</code>ディレクティブで<code>@ alias</code>を上書きする. 
(この設定がない場合, <code>@/../components/...</code>のように root directoryまで1階層のぼる必要がある)
<div class="remark-highlight"><pre class="language-js"><code class="language-js">const path = require('path')
const merge = require('deepmerge')
const nuxt = require('../nuxt.config.js')

const extend = {
 srcDir: __dirname,
 buildDir: '.nuxt/admin',

 build: {
 extend(config) {
 config.resolve.alias['@'] = path.resolve(__dirname, '..')
 }
 }
}

export default merge(nuxt, extend)
</code></pre></div>
<h3 id="3-configure-packagejson"><a href="#3-configure-packagejson">3. configure package.json</a></h3>
<code>nuxt</code>の<code>--config-file</code> オプションを用いて<code>nuxt.config.js</code>を指定する. 
これで<code>yarn dev</code>とすればデフォルトの<code>pages</code>が用いられるし, <code>yarn dev:admin</code>とすれば<code>admin/pages</code>が用いられる.
<div class="remark-highlight"><pre class="language-js"><code class="language-js">{
 "scripts": {
 "dev": "nuxt",
 "build": "nuxt build",
 "start": "nuxt start",
 "dev:admin": "nuxt --config-file admin/app.config.js",
 "build:admin": "nuxt build --config-file admin/app.config.js",
 "start:admin": "nuxt start --config-file admin/app.config.js",
 },
 ...
}
</code></pre></div>
<h3 id="appendix-generated-routingnuxtadminrouterjs"><a href="#appendix-generated-routingnuxtadminrouterjs">Appendix: Generated Routing(.nuxt/admin/router.js)</a></h3>
<code>yarn build:admin</code>で生成された<code>routes</code> に <code>client</code>側の<code>pages</code>が含まれていないことが確認できる.
<div class="remark-highlight"><pre class="language-js"><code class="language-js">import Vue from 'vue'
import Router from 'vue-router'
import { interopDefault } from './utils'
import scrollBehavior from './router.scrollBehavior.js'

const _0510df08 = () => interopDefault(import('../../admin/pages/index.vue' /* webpackChunkName: "pages/index" */))

Vue.use(Router)

export const routerOptions = {
 mode: 'history',
 base: decodeURI('/'),
 linkActiveClass: 'nuxt-link-active',
 linkExactActiveClass: 'nuxt-link-exact-active',
 scrollBehavior,

 routes: [{
 path: "/",
 component: _0510df08,
 name: "index"
 }],

 fallback: false
}

export function createRouter() {
 return new Router(routerOptions)
}
</code></pre></div>
<h3 id="repository"><a href="#repository">repository</a></h3>
<a href="https://github.com/koka831/nuxt-multiple-sample" target="_blank" rel="nofollow noopener noreferrer">koka831/nuxt-multiple-sample</a>

simple way to share components between multiple projects

Nuxt.js: sharing components

Modular multiplicative inverse

<h2 id="abstract"><a href="#abstract">Abstract</a></h2>
<ul>
<li>Linux Desktopのログイン時及び<code>sudo</code>時にYubikey + Passwordを必須にしてみた.</li>
<li>ログインした状態でYubikeyを抜くとlockするようにした.</li>
</ul>
<h2 id="env"><a href="#env">Env</a></h2>
<ul>
<li>Ubuntu 18.04</li>
<li>FIDO U2F Security Key(自分は<a href="https://www.amazon.co.jp/dp/B06XHTKFH3/ref=cm_sw_em_r_mt_dp_U_Ha5sDbS6H12P6" target="_blank" rel="nofollow noopener noreferrer">これ</a>つかってます. 端子ガードついてるKey他にも出てほしい)</li>
</ul>
<h2 id="install-dependencies"><a href="#install-dependencies">Install Dependencies</a></h2>
<div class="remark-highlight"><pre data-file="terminal" class="language-shell-session"><code class="language-shell-session">$ sudo add-apt-repository ppa:yubico/stable
$ sudo apt-get install yubikey-manager-qt yubioath-desktop yubikey-personalization-gui
</code></pre></div>
<h2 id="setup-u2f-key"><a href="#setup-u2f-key">Setup U2F Key</a></h2>
<h3 id="u2f-keyの登録"><a href="#u2f-keyの登録">U2F Keyの登録</a></h3>
<div class="remark-highlight"><pre data-file="terminal" class="language-shell-session"><code class="language-shell-session">$ mkdir -p $HOME/.config/Yubico
$ pamu2fcfg -u${USER} > $HOME/.config/Yubico/u2f_keys
</code></pre></div>
またバックアップデバイスを追加する場合には<code>--nouser</code>をつけて追記<a href="#user-content-fn-pamu2fcfg" id="user-content-fnref-pamu2fcfg" data-footnote-ref aria-describedby="footnote-label">1</a>.
<div class="remark-highlight"><pre data-file="terminal" class="language-shell-session"><code class="language-shell-session">$ pamu2fcfg -n >> $HOME/.config/Yubico/u2f_keys
</code></pre></div>
<h3 id="u2f-for-sudo"><a href="#u2f-for-sudo">U2F for SUDO</a></h3>
以下の6行目を追記. PAM(Pluggable Authentication Modules)での認証において，password入力後にYubikeyがrequireされるようになる(Yubikeyが無いとauthできない).
<code>/etc/pam.d/sudo</code>
<div class="remark-highlight"><pre data-file="/etc/pam.d/sudo" class="language-diff"><code class="language-diff"> #%PAM-1.0

 session required pam_env.so readenv=1 user_readenv=0
 session required pam_env.so readenv=1 envfile=/etc/default/locale user_readenv=0
 @include common-auth
+auth required pam_u2f.so
 @include common-account
 @include common-session-noninteractive
</code></pre></div>
<h3 id="u2f-for-login"><a href="#u2f-for-login">U2F for Login</a></h3>
Display ManagerにGDM(Gnome Display Manager)を用いている場合は以下のファイルに<code>pam_u2f.so</code>の行を追記する. 
<code>/etc/pam.d/gdm-password</code>
その他のDMを用いている場合(KDE等)は <code>/etc/pam.d/lightdm</code> に追記する.
<div class="remark-highlight"><pre data-file="/etc/pam.d/gdm-password" class="language-diff"><code class="language-diff"> #%PAM-1.0
 auth requisite pam_nologin.so
 auth required pam_succeed_if.so user != root quiet_success
 @include common-auth
+auth required pam_u2f.so
 auth optional pam_gnome_keyring.so
 @include common-account
 ...omit
</code></pre></div>
<h2 id="auto-lock-without-u2f"><a href="#auto-lock-without-u2f">Auto-lock without U2F</a></h2>
ここからが本題. U2F Keyの接続が解除されると端末をロックする.
もともと自分の使っているLaptopには指紋認証センサが付属している．一般に生体認証はU2Fよりもセキュアであるし，自分も異論はない. 
ではU2Fが生体認証より優れている点はなにか. 自分の答えは認証の持続性をコントロールできる点である.
指紋認証を例に取ると，一度ログインした端末は一定時間操作をしない際のオートロックまたはユーザ自身の能動的なログアウトをしない限り，認証を再度必要としない. 
対してU2Fではデバイスが接続されている間だけ認証されているという状態をもたらすことができる.
Apple Watchを身に着けた状態でMacの自動ログインが可能<a href="#user-content-fn-applewatch" id="user-content-fnref-applewatch" data-footnote-ref aria-describedby="footnote-label">2</a>という例がある.
これはbluetooth接続したU2Fデバイスが一定距離離れるもしくはUSB接続したデバイスをejectすることで端末からログアウトする，という仕様で再現できる.
<h3 id="monitoring-u2f-key-by-udev"><a href="#monitoring-u2f-key-by-udev">monitoring U2F key by udev</a></h3>
U2F Keyモニターをudevに任せることにする. まず対象のIDを特定する.
<code>udevadm monitor</code>でudevのイベントをモニタリングした状態でU2F Keyを抜き差しすると <code>bind</code>, <code>remove</code> イベントが通知されるので， <code>$ID_MODEL_ID</code> 及び <code>$ID_VENDOR_ID</code> を取得する.
<div class="remark-highlight"><pre data-file="terminal" class="language-shell-session"><code class="language-shell-session">$ udevadm monitor --environment --udev

UDEV [28028.490650] bind /devices/pci0000:00/0000:00:14.0/usb1/1-3 (usb)
ACTION=bind
BUSNUM=001
DEVNAME=/dev/bus/usb/001/013
DEVNUM=013
DEVPATH=/devices/pci0000:00/0000:00:14.0/usb1/1-3
DEVTYPE=usb_device
DRIVER=usb
ID_BUS=usb
ID_MODEL=XXXXX
ID_MODEL_ENC=XXXXX
ID_MODEL_ID=f025
ID_REVISION=0100
ID_SERIAL=ExcelSecu_EsecuFIDO_HID
ID_USB_INTERFACES=:030000:
ID_VENDOR=ExcelSecu
ID_VENDOR_ENC=ExcelSecu
ID_VENDOR_ID=1ea8
MAJOR=189
MINOR=12
PRODUCT=1ea8/f025/100
SEQNUM=12938
SUBSYSTEM=usb
TYPE=0/0/0
USEC_INITIALIZED=28027949334
</code></pre></div>
上記の例では <code>ID_MODEL_ID=f025</code>，<code>ID_VENDOR_ID=1ea8</code> となっている.
このIDペアを用いて，U2F Key解除時の<code>udev</code>ルールを作成する.
<code>/etc/udev/rules.d/xx-u2fkey.rules</code> (xxは適当な数字)
<div class="remark-highlight"><pre data-file="/etc/udev/rules.d/xx-u2fkey.rules" class="language-config"><code class="language-config">ACTION==&#x26;quot;remove&#x26;quot;, ENV{ID_VENDOR_ID}==&#x26;quot;1ea8&#x26;quot;, ENV{ID_MODEL_ID}==&#x26;quot;f025&#x26;quot;, RUN+=&#x26;quot;/usr/local/bin/i3lock&#x26;quot;</code></pre></div>
最後にrulesを登録し完了.
<div class="remark-highlight"><pre data-file="terminal" class="language-shell-session"><code class="language-shell-session">$ udevadm control --reload-rules
$ service udev reload
</code></pre></div>
<hr>
フリーランスという職業柄，PCを所持して企業へ出向くことが多くどうやってセキュリティ担保するかなーと考えてたところ<code>pamu2fcfg</code>を見かけたので試してみた. 
Yubikeyを忘れて外出するという失態を犯した<a href="#user-content-fn-twi" id="user-content-fnref-twi" data-footnote-ref aria-describedby="footnote-label">3</a>ので既に運用が危ういがデータは守れてるのでよし(よくないが)
<h2 id="reference"><a href="#reference">Reference</a></h2>
<ul>
<li><a href="https://wiki.gentoo.org/wiki/Pam_u2f" target="_blank" rel="nofollow noopener noreferrer">Enable FIDO U2F USB support</a></li>
<li><a href="https://support.yubico.com/support/solutions/articles/15000010964-enabling-the-yubico-ppa-on-ubuntu" target="_blank" rel="nofollow noopener noreferrer">support.yubico.com#enabling the Yubico PPA on Ubuntu</a></li>
<li><a href="https://support.yubico.com/support/solutions/articles/15000011356-ubuntu-linux-login-guide-u2f" target="_blank" rel="nofollow noopener noreferrer">support.yubico.com#Ubuntu Linux Login Guide - U2F</a></li>
</ul>
<section data-footnotes class="footnotes"><h2 id="footnote-label" class="sr-only"><a href="#footnote-label">Footnotes</a></h2>
<ol>
<li id="user-content-fn-pamu2fcfg">
<a href="https://developers.yubico.com/pam-u2f/Manuals/pamu2fcfg.1.html" target="_blank" rel="nofollow noopener noreferrer">developers.yubico.com/pam-u2f/Manuals/pamu2fcfg.1.html</a> <a href="#user-content-fnref-pamu2fcfg" data-footnote-backref class="data-footnote-backref" aria-label="Back to content">↩</a>
</li>
<li id="user-content-fn-applewatch">
<a href="https://support.apple.com/ja-jp/HT206995" target="_blank" rel="nofollow noopener noreferrer">support.apple.com/ja-jp/HT206995</a> <a href="#user-content-fnref-applewatch" data-footnote-backref class="data-footnote-backref" aria-label="Back to content">↩</a>
</li>
<li id="user-content-fn-twi">
<a href="https://twitter.com/k_0ka/status/1159312312156561408" target="_blank" rel="nofollow noopener noreferrer">twitter.com/k_0ka/status/1159312312156561408</a> <a href="#user-content-fnref-twi" data-footnote-backref class="data-footnote-backref" aria-label="Back to content">↩</a>
</li>
</ol>
</section>

Linux: Login/sudo with Yubikey

<h2 id="tl-dr"><a href="#tl-dr">TL; DR</a></h2>
<ul>
<li>作業ユーザを<code>video</code>グループに追加</li>
<li>udevのrulesを追加し<code>brightness</code>デバイスへの書き込み権限を付与</li>
</ul>
<h2 id="概要"><a href="#概要">概要</a></h2>
Thinkpad X1 Carbon(2019)を購入したので，Gentooをインストールした.
が，F5, F6での明るさ調整が効かなかった. クッソまぶしい.
明るさ調整には<code>light</code>コマンドを用いたところ，<code>sudo light -A 5</code>のようにroot権限を用いると調整が行えた.
<h2 id="解決策"><a href="#解決策">解決策</a></h2>
<ol>
<li>作業ユーザを<code>video</code>グループに追加する.</li>
</ol>
usergroupは以下で確認できる.
<div class="remark-highlight"><pre class="language-sh"><code class="language-sh">$ cut -d: -f1 /etc/group</code></pre></div>
そのなかでもメジャーなものは以下(独断).
<table>
<thead>
<tr>
<th align="center">name</th>
<th align="center">role</th>
</tr>
</thead>
<tbody>
<tr>
<td align="center">wheel</td>
<td align="center">管理権限作業用グループ</td>
</tr>
<tr>
<td align="center">log</td>
<td align="center">/var/log/ へのアクセス用グループ</td>
</tr>
<tr>
<td align="center">video</td>
<td align="center">ビデオキャプチャ・フレームバッファアクセス</td>
</tr>
<tr>
<td align="center">docker</td>
<td align="center">docker作業用グループ</td>
</tr>
</tbody>
</table>
<div class="remark-highlight"><pre class="language-sh"><code class="language-sh">usermod -aG video ${USER}</code></pre></div>
<code>usermod</code>コマンドを用いて<code>$USER</code>をグループに追加する. 
例えば<code>$USER</code>を<code>docker</code>グループに追加した場合, <code>$USER</code>は<code>docker</code>の操作に管理者権限が不要となる.
(ただ第三者が作成したスクリプトであってもroot権限で実行できるということなので，<code>docker</code>を用いる場合には<code>newgrp</code>を用いて一時的にグループを変更するなどのほうがいいと思う. <code>docker</code>の場合権限昇格などのリスクもあるので気をつけよう．お兄さんとの約束だよ)
<ol start="2">
<li><code>brightness</code>デバイスの書き込み権限を<code>video</code>グループに付与する.</li>
</ol>
画面の明るさ(<code>brightness</code>)は<code>udev</code>によって管理されている.
<code>/usr/lib/udev/rules.d/xx-brightness.rules</code>を次のように記述する.
<div class="remark-highlight"><pre class="language-unknown"><code class="language-unknown">ACTION==&#x26;quot;add&#x26;quot;, SUBSYSTEM==&#x26;quot;backlight&#x26;quot;, RUN+=&#x26;quot;/bin/chgrp video /sys/class/backlight/%k/brightness&#x26;quot;
ACTION==&#x26;quot;add&#x26;quot;, SUBSYSTEM==&#x26;quot;backlight&#x26;quot;, RUN+=&#x26;quot;/bin/chmod g+w /sys/class/backlight/%k/brightness&#x26;quot;</code></pre></div>
これで起動時に<code>video</code>グループに対して<code>brightness</code>デバイスへの書き込み権限が付与される.
<h2 id="追記"><a href="#追記">追記</a></h2>
かわいい感じになりました. yay
<figure><img src="./img/desktop.png" alt=""><figcaption>img.1 </figcaption></figure>
<h2 id="reference"><a href="#reference">reference</a></h2>
<ul>
<li><a href="https://wiki.archlinux.jp/index.php/%E3%83%A6%E3%83%BC%E3%82%B6%E3%83%BC%E3%81%A8%E3%82%B0%E3%83%AB%E3%83%BC%E3%83%97" target="_blank" rel="nofollow noopener noreferrer">arch linux#グループ一覧</a></li>
<li><a href="https://wiki.archlinux.org/index.php/Backlight" target="_blank" rel="nofollow noopener noreferrer">arch linux#brightness</a></li>
</ul>

Linux: 画面の明るさを変更できなくなった

internal Vue.js & read how Vue compiler works

Internal Vue.js 1

<a href="https://nefrock.connpass.com/event/133937/" target="_blank" rel="nofollow noopener noreferrer">Lie Algebraの話</a>を聞いたときのメモ.
ベクトル空間を有限次元/体<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics><mrow><mi>K</mi></mrow><annotation encoding="application/x-tex">K</annotation></semantics></math>Kを複素数体とする
因数分解の出来る体.
既約可容系 → ユークリッド空間
ベクトル空間上に演算を導入する系っぽい．
<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics><mrow><msup><mi>R</mi><mn>3</mn></msup></mrow><annotation encoding="application/x-tex">R^3</annotation></semantics></math>R3において
<ul>
<li>交代性</li>
<li>ヤコビの恒等式
がなりたつ</li>
</ul>
リー環って名前だけど加法に関してリー群をなすわけではないっぽい?
<ul>
<li>これ環？</li>
</ul>
既約可容系が図形に対応するの何でなん
<hr>
感想
後半2/3ほぼほぼわからんかった.

Lie Algebra

ABC126

ABC105-D: Candy Distribution

UnionFind

<h2 id="install-ubuntu-mysql-on-ec2"><a href="#install-ubuntu-mysql-on-ec2">install ubuntu mysql on ec2</a></h2>
install <code>mysql-server</code> and setup mysql privillege table via <code>mysql_secure_installation</code>.
<div class="remark-highlight"><pre class="language-sh"><code class="language-sh">sudo apt install nginx mysql-server
sudo mysql_secure_installation
</code></pre></div>
<h2 id="step2-create-a-new-user"><a href="#step2-create-a-new-user">step.2 create a new user</a></h2>
create a database and a user for the database with minimum permission.
<div class="remark-container tip">Note: set charset to <code>UTF8mb4</code> to store emoji</div>
<div class="remark-highlight"><pre class="language-sql"><code class="language-sql">sudo mysql -u root -p

CREATE USER 'username'@'localhost' IDENTIFIED BY 'password';

CREATE DATABASE 'database' character set UTF8mb4 collate utf8mb4_bin;

GRANT ALL PRIVILEGES ON database.* TO 'username'@'localhost' WITH GRANT OPTION;
</code></pre></div>
<h2 id="step3-install-php"><a href="#step3-install-php">step.3 install php</a></h2>
<div class="remark-highlight"><pre class="language-sh"><code class="language-sh">sudo apt install php-curl php-gd php-mbstring php-xml php-xmlrpc php-soap php-intl php-zip</code></pre></div>
<h2 id="step4-download-wordpress"><a href="#step4-download-wordpress">step.4 download wordpress</a></h2>
<div class="remark-highlight"><pre class="language-unknown"><code class="language-unknown">cd /tmp
curl -O https://wordpress.org/latest.tar.gz
mv wp-config-sample.php wp-config.php

## open the link below to generate salt
chrome https://api.wordpress.org/secret-key/1.1/salt/</code></pre></div>
<h2 id="step5-setup-nginx"><a href="#step5-setup-nginx">step.5 setup nginx</a></h2>
<ul>
<li>default.conf</li>
<li>php-fpm unix domain socket</li>
</ul>
<h2 id="ref"><a href="#ref">ref</a></h2>
<a href="https://stackoverflow.com/questions/25774975/unable-to-start-php-fpm-cannot-get-uid-for-user-apache" target="_blank" rel="nofollow noopener noreferrer">https://stackoverflow.com/questions/25774975/unable-to-start-php-fpm-cannot-get-uid-for-user-apache</a>

Install MySQL on EC2

みんなのプロコン 2019の参加記録.
<h2 id="b---path"><a href="#b---path"><a href="https://atcoder.jp/contests/yahoo-procon2019-qual/tasks/yahoo_procon2019_qual_b" target="_blank" rel="nofollow noopener noreferrer">B - Path</a></a></h2>
4つの街と3つの道が与えられる. 一筆書で全ての街を訪れることができるか.
制約
<blockquote>
同じ街の対の間を結ぶ道は複数存在しない
どの2つの街の間も、道を何本か通ることで行き来することができる
</blockquote>
より, 全ての街を訪れることは可能であることがわかる.
このとき道と街の組み合わせしてありうるのは以下の2パターン.
<div class="graph-wrapper">
<div>
<div class="graph graph1">
 <div class="edge" />
 <div class="node none" />
 <div class="edge" />
</div>
<div class="graph">
 <div class="edge" />
 <div class="node" />
 <div class="edge cross vertical" />
</div>
<div class="label">A</div>
</div>
<div>
<div class="graph graph2">
 <div class="edge" />
 <div class="node" />
 <div class="edge" />
</div>
<div class="graph">
 <div class="edge" />
 <div class="node" />
 <div class="edge vertical" />
</div>
<div class="label">B</div>
</div>
</div>
一筆書き出来るのはB. 
Aは1つの街から3本以上の道が存在する場合なので, 街から生えている道の本数で判定すればいい.
<h3 id="解答"><a href="#解答">解答</a></h3>
<div class="remark-highlight"><pre class="language-rust"><code class="language-rust">use std::io;


fn main() {
 let mut a = 0;
 let mut b = 0;
 let mut c = 0;
 let mut d = 0;
 for _ in 0..3 {
 let ab = read::&#x3C;usize>();
 for i in ab {
 match i {
 1 => a += 1,
 2 => b += 1,
 3 => c += 1,
 4 => d += 1,
 _ => unreachable!(),
 }
 }
 }
 
 if a > 2 || b > 2 || c > 2 || d > 2 {
 println!("NO");
 } else {
 println!("YES");
 }
}
</code></pre></div>
<h2 id="c---when-i-hit-my-pocket"><a href="#c---when-i-hit-my-pocket"><a href="https://atcoder.jp/contests/yahoo-procon2019-qual/tasks/yahoo_procon2019_qual_c" target="_blank" rel="nofollow noopener noreferrer">C - When I hit my pocket...</a></a></h2>
手持ちのビスケット1枚, 0円の状態から
<ul>
<li>持っているビスケットを増やす</li>
<li>ビスケット1枚をA円に交換</li>
<li>1円をビスケットB枚の交換</li>
</ul>
以上の操作を好きな順に<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics><mrow><mi>k</mi></mrow><annotation encoding="application/x-tex">k</annotation></semantics></math>k回行ってビスケットの枚数を最大化する. なお虚無からビスケットを生成できるらしい.
ビスケット → 円 → ビスケットの両替には2ターン消費するので, 2枚以上の利益がなければ愚直にビスケットを増やすのと変わらない.
なので <math xmlns="http://www.w3.org/1998/Math/MathML"><semantics><mrow><mi>B</mi><mo>−</mo><mi>A</mi><mo>&#x3C;</mo><mo>=</mo><mn>2</mn></mrow><annotation encoding="application/x-tex">B-A &#x3C;= 2</annotation></semantics></math>B−A&#x3C;=2の場合にはビスケットを増やす操作だけ行うのが最善.
<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics><mrow><mi>B</mi><mo>−</mo><mi>A</mi><mo>></mo><mn>2</mn></mrow><annotation encoding="application/x-tex">B-A>2</annotation></semantics></math>B−A>2の場合には, ビスケット→ 円→ ビスケット の操作でビスケットを<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics><mrow><mo stretchy="false">(</mo><mi>B</mi><mo>−</mo><mi>A</mi><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex">(B - A)</annotation></semantics></math>(B−A)枚増産できる. 最終的に円を持っていても意味がないので, この一連の操作は操作は同じ回数行いたい.
簡単のために, ビスケットを0枚もっている状態から<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics><mrow><mi>k</mi><mo>+</mo><mn>1</mn></mrow><annotation encoding="application/x-tex">k + 1</annotation></semantics></math>k+1回の操作を行えるとする. 
アプローチとしては,
<ol>
<li>A枚たまるまでビスケットを増やす</li>
<li>残り<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics><mrow><mi>k</mi><mo>+</mo><mn>1</mn><mo>−</mo><mi>A</mi></mrow><annotation encoding="application/x-tex">k + 1 - A</annotation></semantics></math>k+1−A回の操作で両替を繰り返す</li>
</ol>
手順2は<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics><mrow><mo stretchy="false">⌊</mo><mo stretchy="false">(</mo><mi>k</mi><mo>+</mo><mn>1</mn><mo>−</mo><mi>a</mi><mo stretchy="false">)</mo><mi mathvariant="normal">/</mi><mn>2</mn><mo stretchy="false">⌋</mo></mrow><annotation encoding="application/x-tex">\lfloor(k+1-a)/2\rfloor</annotation></semantics></math>⌊(k+1−a)/2⌋回行うことができる. 偶奇によっては操作回数が一回あまるが,
ここでビスケット→ 円の両替をしても仕方がないのでビスケットを1枚増やす.
<h3 id="解答-1"><a href="#解答-1">解答</a></h3>
<div class="remark-highlight"><pre class="language-rust"><code class="language-rust">use std::io;


fn main() {
 let (k, a, b) = {
 let i = read::&#x3C;u64>();
 (i[0], i[1], i[2])
 };

 if a >= b || b - a &#x3C;= 1{
 println!("{}", k + 1);
 return;
 }

 let ans: u64 = if (k + 1 - a) % 2 == 0 {
 (b - a) * (k + 1 - a) / 2 + a
 } else {
 (b - a) * (k - a) / 2 + a + 1
 };

 println!("{}", ans);
}
</code></pre></div>
<h2 id="所感"><a href="#所感">所感</a></h2>
考察を詰めきらずにふわふわした状態でB,Cをときがち.
論文が一段落したので, しばらくはこれを書いてから実装するくらいの気持ちで精進してみる.

みんなのプロコン 2019

jekyllをやめてVuePressに移行した.
<div class="remark-container tip"><div class="remark-container__title">INFO</div>Draft state</div>
<hr>
<h2 id="before"><a href="#before">Before</a></h2>
<img src="./img/v1.png" width="200px">
<h2 id="after"><a href="#after">After</a></h2>
これ
<h2 id="why"><a href="#why">Why</a></h2>
<ul>
<li>
jekyllに飽きた.
</li>
<li>
jekyllに飽きただけだとVuePressを使う理由にはならない
<ul>
<li>はてぶやnoteは? → そこまで真面目に使わない, 好きなことを書きたい</li>
<li>Twitterでは? →　twitterではエンジニア/DIYの属性だけ出してる. このブログでは多種書きたい.</li>
<li>👆くらい自由に下書きすら載せたい.
Engineer属性を見てくれているfollowerに対して自分の全ての属性を押し付けるのはちょっと違う.</li>
</ul>
</li>
<li>
等身大の自分の技術力をアウトプットしたい(ほんまか)
</li>
<li>
デザインをすこししてみたくなった
</li>
</ul>

Renewal

ABC117

先日 <a href="https://connpass.com/event/115301/" target="_blank" rel="nofollow noopener noreferrer">Hello, World から トランジスタまで</a>という勉強会を開催した. <a href="https://koka831.github.io/slide/hello2nand/" target="_blank" rel="nofollow noopener noreferrer">これ</a>が発表資料というか勉強会でつかった資料.
<iframe src="https://koka831.github.io/slide/hello2nand/" width="100%" height="300px" />
会場を提供してくださった<a href="https://www.nefrock.com/" target="_blank" rel="nofollow noopener noreferrer">Nefrock</a>さんありがとうございます.
<hr>
勉強会を開催した目的は主に自分が発表練習をしたい,という個人的なものだけど,
今までいくつか勉強会に参加した経験から, 自分がやるならどういう勉強会にしたいかというのを考えていて, 今回はそれを試す場でもあった.
<ul>
<li>聴講者側の受け身感を減らしたい</li>
<li>発表者側のメリットを高めたい</li>
</ul>
つまるところ参加者全体がフラットに利益を享受できる場にしたかった.
聴講者の受け身感, これは勉強会に参加して分かった気になって帰ることなく, その場で疑問をできる限り解消してほしい.
そして発表者には, 発表という行為自体の利益に加えて, 技術的なフィードバックを多く受け取って欲しい.
発表者は元々発表するという行為自体が当人のメリットになっているものの, その利益は主にプレゼンスキルであったり登壇経験であったりで, 技術的な利益は発表資料をつくる時に曖昧な部分を自分で調べて解消している, という程度である. 
この時点で各々の知識量において, 発表者 > 聴講者 の構図ができてしまっている.
知識というのは聴講者<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics><mrow><mo>∈</mo></mrow><annotation encoding="application/x-tex">\in</annotation></semantics></math>∈発表者ではなく, 聴講者<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics><mrow><mo>∩</mo></mrow><annotation encoding="application/x-tex">\cap</annotation></semantics></math>∩発表者 な部分があるだけで, 聴講者がしっているけど発表者が知らない内容はザラにある.
その上で勉強会では聴講者が知らなくて発表者が知っている内容が発表される.
そうではなく双方向の知識の交換があるべきだと思う.
大学の輪講は自分の理想形に近かった.
発表者側は発表後, 発表中に<del>マサカリ</del>フィードバックが貰える. 聴講者側は気軽に質問を投げられる. この質問自体もお互いの共通認識の共有になる. andでしかなかった共通認識がorにまで広がる.
<hr>
勉強会で輪講を再現するにはなにが必要か. 今回は質問しやすい空気感が必要だと仮定して開催してみた.
質問者が発表を遮ることをためらわない規模感はどれくらいなのか. また発表者が質問したい人を見つけられるのはどれくらいの人数が限度なのか.
まずは控えめに発表者3人, 聴講者3人としてみた. 
当日の参加者は発表者2人, 聴講者2人だったが結果的にこれは正解だった.
会場を提供してくれた会社の方々も参加してくれたのだが, 全員がつよつよだったのである種教授陣に囲まれながらの輪講ができあがった.
発表内容自体はここでは触れないが, 聴講者は2人とも発表内容のレイヤーを専門としていない.
けれど沢山の質問をしてもらえた. 終わった後にも楽しんでもらえた旨をDMで頂いたので, やってよかったと思う. ぼくは結構鋭いマサカリを食らってしんだ.
<hr>
おわりに
会場を提供してくださっただけでなく楽しんで参加してくれたNefrockの皆さん, 参加してくれた両名, そして企画をめっちゃやってくれたatsuki, どうもありがとう.

Hello2NAND

CADDi2018

AtCoder Grand Contest 29の参加記録。
<h1 id="a"><a href="#a"><a href="https://beta.atcoder.jp/contests/agc029/tasks/agc029_a" target="_blank" rel="nofollow noopener noreferrer">A</a></a></h1>
<code>xoxooox</code> のようにオセロの並びが与えられるので, 隣合う<code>ox</code> を <code>xo</code> にする操作が最大何回行えるか求める.
<code>oooox</code> の場合, <code>xoooo</code>となるまでに4回操作できる. 
<code>ooooxx</code> の場合, まず右から二つ目の<code>x</code>を↑の様に動かしてから<code>xoooo + x</code>とみるとそれぞれの<code>x</code>に対する操作は独立. 
なので各<code>x</code>の左側にある<code>o</code>の数の和を求めればいい.
<h2 id="解答"><a href="#解答">解答</a></h2>
<div class="remark-highlight"><pre class="language-rust"><code class="language-rust">fn main() {
 let mut ans = 0;
 let s = read_one::&#x3C;String>().chars().collect::&#x3C;Vec&#x3C;char>>();
 let mut cnt = 0;
 for i in 0..s.len() {
 if s[i] == 'B' { cnt += 1; }
 if s[i] == 'W' { ans += cnt; }
 }
 println!("{}", ans);
 
}
</code></pre></div>
上の解答はWAになります() 
Rustの数値リテラルにおける型推論のデフォルトは<code>i32</code>のため, <code>s.len() &#x3C; O(10^5)</code>の制約ではオーバーフローしうる.
5分で解答してWA食らって正直全く分からなかった.これに気付くまで25分. 
流石に初歩過ぎるので反省.
<h1 id="b"><a href="#b"><a href="https://beta.atcoder.jp/contests/agc029/tasks/agc029_b" target="_blank" rel="nofollow noopener noreferrer">B</a></a></h1>
<code>3 11 14 5 13</code> のように数列が与えられる. この中から和が<code>2^k</code>の形になるようにペアをつくるとき, 最大いくつ作れるか.
↑の例だと, ペアは<code>(3, 5), (3, 13), (5, 11)</code> の3通り考えられる. 複数回使うことは出来ないので, 2部グラフの最大マッチングか? <code>n &#x3C;= 2 * 10^5</code>からできる候補なら計算量<code>O(NM)</code>でも間に合うのか? などと考えていた(無事TLE).
まずソートして, 各<code>a_i</code>に対しそれより大きい最小の<code>2^k</code>を求める. 
<code>2^k - a_i</code>が数列の中に存在するかどうかbinary search等で求めてペアの候補とする.
ペアの候補は, 大きいものから順に選択していけば最大となる.
<h2 id="解答-1"><a href="#解答-1">解答</a></h2>
<div class="remark-highlight"><pre class="language-rust"><code class="language-rust">fn main() {
 let n = read_one::&#x3C;usize>();
 let mut an = read::&#x3C;usize>();
 an.sort();
 
 let mut graph = Vec::new();
 let mut bn = an.clone();
 
 for i in 0..n {
 let x = bn.binary_search(&#x26;an[i]).unwrap();
 // 自身がペア対象にならないように一旦
 bn.remove(x);
 
 let mut ceil = 2;
 while ceil &#x3C;= an[i] {
 ceil *= 2;
 }
 
 match bn.binary_search(&#x26;(ceil - an[i])) {
 Ok(n) => { graph.push((i, n)); },
 _ => {}
 }
 // 自身を戻す
 bn.insert(x, an[i]);
 }

 /* 最大マッチングWA
 let n = graph.len();
 let mut dinitz = Dinitz::new(n * 2 + 2);
 for (a, b) in graph {
 dinitz.add_edge(a, b, 1);
 dinitz.add_edge(b, a, 1);
 }
 println!("{:?}", dinitz.max_flow(n * 2, n * 2 + 1));
 */
}
</code></pre></div>
<h2 id="所感"><a href="#所感">所感</a></h2>
Aのミスで800位くらい落ちてて草も生えない. 
Bは2部マッチングを勉強したあとだったのでそれに引っ張られた. 
精進の量がたりてないので300~500埋めをやろう.

AGC029

<h2 id="background"><a href="#background">Background</a></h2>
センサから取得した時系列データを解析することになった. 
普段の研究ではDynamoDB等のNoSQLを利用しているのだけど, 今回のセンサデータはセンサ数が多い上に欠損率が結構高い.
なので,
<ul>
<li>書き込み速度重視</li>
<li>データの線形補間ができる・やりやすい</li>
<li>できればローカルで使える
ことを要件として調査した. 
補間に関してはDB側で巻いてくれると嬉しいけど, パフォーマンスをみてクライアント側でやるのでもまあいい. 
これはそのときのログと, (結果的にInfluxDBを選択したのだけど)その結果をまとめたもの.</li>
</ul>
<h1 id="調査"><a href="#調査">調査</a></h1>
今回調べたソフトウェアは以下.
<ul>
<li>OpenTSDB 2.3.0</li>
<li>InfluxDB 1.7</li>
<li>Prometheus 2.5.0</li>
</ul>
調査対象はデータベースの中でも時系列データベースと呼ばれるものに絞った. 
一般的なRDBはそのインデクスにBTree(もしくはB+Tree)を用いているが, BTreeの挿入コストはO(n) ~ O(log n)程度かかってしまう. もちろん最適化はされているのだろうからコストは抑えられるだろうが, 挿入に限ってはO(1)で行いたい. このあたり勉強しないとなあ
<h2 id="opentsdb"><a href="#opentsdb">OpenTSDB</a></h2>
<ul>
<li>open source time series database</li>
<li>store trillions of data points(!)</li>
<li>scales using HBase</li>
</ul>
分散型の時系列データベース. OpenTSDBでのデータはHBase/Hadoopのクラスタ側で保持する.
PinterestやYahooで使われているとのこと<a href="#user-content-fn-1" id="user-content-fnref-1" data-footnote-ref aria-describedby="footnote-label">1</a>.
Yahooの例では, 200k TSD / s の書き込みを50サーバで行っており, 10億件を超えるデータを保持している.
<h4 id="tsd形式"><a href="#tsd形式">TSD形式</a></h4>
<ul>
<li>metric: 時系列データの属性の名前. RDBでいうテーブル名.</li>
<li>timestamp</li>
<li>value: integer / float</li>
<li>tag(s): { "key": "value" }のペア.</li>
</ul>
tagについては最低一つつける必要がある(最大8つまでサポートされているが, usually up to 4 or 5 tags とのこと). 
時系列DBではvalueが数値しか取れない代わりに, tagsのkeyを組み合わせて集計を行うみたい.
APIはHTTP RestとTelnet Style(!)がある.
補間については, 分散データベースなので物理的な断片化が考慮されており, OpenTSDB側で線形補間・スキップ・ゼロ補間がサポートされている.
<h2 id="prometheus"><a href="#prometheus">Prometheus</a></h2>
<ul>
<li>monitoring system &#x26; time series database</li>
</ul>
今回調べるまで存在を知らなかった. 用途を見るとどうもElasticSearch等の用途と似ていて, モニター側に重きを置いているっぽい.
そのためデータは別口からインポートする必要がある.
データについては15日間分の保持がデフォルトのようで, Prometheus単体で利用するのは(データ解析のフェーズにおいても)今回の用途では厳しそう.
<h2 id="influxdb"><a href="#influxdb">InfluxDB</a></h2>
<h4 id="tsd形式-1"><a href="#tsd形式-1">TSD形式</a></h4>
<a href="https://docs.influxdata.com/influxdb/v1.7/write_protocols/line_protocol_tutorial/" target="_blank" rel="nofollow noopener noreferrer">Line Protocol</a>と呼ばれる行データの書式に従う. 
以下の書式のように, 配列はスペースなしのカンマ区切りで, tagとmeasurementの区切り, measurementとtimestampの区切りにはスペースをいれる. 
measurementが値部分となっていて, こちらもtagと同様カンマ区切りで複数のtag付のmeasurementを持てる.
<div class="remark-highlight"><pre class="language-unknown"><code class="language-unknown">metrix,&#x26;lt;tag_key&#x26;gt;=&#x26;lt;tag_value&#x26;gt;,&#x26;lt;tag_key&#x26;gt;=&#x26;lt;tag_value&#x26;gt; &#x26;lt;measurement&#x26;gt;=&#x26;lt;value&#x26;gt; &#x26;lt;timestamp&#x26;gt;</code></pre></div>
Measurementにはinteger, floatの他にstring, booleanも扱える.
補間については, <code>fill()</code>を用いてnull, 指定値, 線形補間, 前データ値が利用できる.<a href="#user-content-fn-2" id="user-content-fnref-2" data-footnote-ref aria-describedby="footnote-label">2</a>
<a href="https://www.influxdata.com/blog/influxdb-markedly-outperforms-opentsdb-in-time-series-data-metrics-benchmark/" target="_blank" rel="nofollow noopener noreferrer">blog</a> によるとwrite performanceがOpenTSDBの9倍.
<h2 id="まとめ"><a href="#まとめ">まとめ</a></h2>
結論としては補間が必要なデータストアにはInfluxDB一択だと思う.
<table>
<thead>
<tr>
<th align="center">DB</th>
<th align="center">書き込み</th>
<th align="center">データ量</th>
<th align="center">補間</th>
<th align="center">ローカル</th>
</tr>
</thead>
<tbody>
<tr>
<td align="center">OpenTSDB</td>
<td align="center">○</td>
<td align="center">◎</td>
<td align="center">○</td>
<td align="center">Docker</td>
</tr>
<tr>
<td align="center">InfluxDB</td>
<td align="center">◎</td>
<td align="center">○</td>
<td align="center">○</td>
<td align="center">Docker</td>
</tr>
<tr>
<td align="center">Prometheus</td>
<td align="center">-</td>
<td align="center">x</td>
<td align="center">-</td>
<td align="center">Docker</td>
</tr>
</tbody>
</table>
<h2 id="ref"><a href="#ref">ref</a></h2>
<section data-footnotes class="footnotes"><h2 id="footnote-label" class="sr-only"><a href="#footnote-label">Footnotes</a></h2>
<ol>
<li id="user-content-fn-1">
<a href="https://www.slideshare.net/HBaseCon/operations-session-3-49043534?qid=5547eada-f70d-4730-bacb-6aeb6f37c068&#x26;v=&#x26;b=&#x26;from_search=5" target="_blank" rel="nofollow noopener noreferrer">slideshare</a> <a href="#user-content-fnref-1" data-footnote-backref class="data-footnote-backref" aria-label="Back to content">↩</a>
</li>
<li id="user-content-fn-2">
<a href="https://docs.influxdata.com/influxdb/v1.3/query_language/data_exploration/#advanced-group-by-time-syntax" target="_blank" rel="nofollow noopener noreferrer">document</a> <a href="#user-content-fnref-2" data-footnote-backref class="data-footnote-backref" aria-label="Back to content">↩</a>
</li>
</ol>
</section>

色々と必要になったのでまとめ

InfluxDB

<a href="https://code-festival-2018-qualb.contest.atcoder.jp/" target="_blank" rel="nofollow noopener noreferrer">CODE FESTIVAL 2018 qual B</a> 予選参加記録。
<h2 id="a"><a href="#a"><a href="https://code-festival-2018-qualb.contest.atcoder.jp/tasks/code_festival_2018_qualb_a" target="_blank" rel="nofollow noopener noreferrer">A</a></a></h2>
1から100の目が出るサイコロを振った時、出た目が入力<code>N</code>の倍数でない確率を求める。
1から100のうち、<code>N</code>の倍数であるものは<code>N</code>で割り切れるものの個数であるから、<code>100 / N</code>個.
なので<code>N</code>の倍数でないものは<code>100 - 100 / N</code>個.
<h3 id="解答"><a href="#解答">解答</a></h3>
<div class="remark-highlight"><pre class="language-rust"><code class="language-rust">fn main() {
 let n = read_one::&#x3C;usize>();
 println!("{}", 100 - 100 / n);
}
</code></pre></div>
<h2 id="b"><a href="#b"><a href="https://code-festival-2018-qualb.contest.atcoder.jp/tasks/code_festival_2018_qualb_b" target="_blank" rel="nofollow noopener noreferrer">B</a></a></h2>
数列<code>a_n, b_n</code>が与えられた時, 任意の<code>a_i in a_n</code>の値を1だけ増加させることができる。
これを<code>X</code>回以内行った場合に<code>\sum a_i * b_i = a_1 * b_1 + a_2 * b_2 + ... + a_N * b_N</code>の最大値を求める。
制約
<div class="remark-highlight"><pre class="language-unknown"><code class="language-unknown">1 &#x26;lt;= a_i, b_i &#x26;lt;= 100
0 &#x26;lt;= X &#x26;lt;= 100</code></pre></div>
任意の<code>a_j</code>の値を一度だけ1増加させたとすると、元の配列の和からの差分は
<div class="remark-highlight"><pre class="language-unknown"><code class="language-unknown">(a_1 * b_1 + ... + a_j * b_j + ... a_N * b_N) - (a_1 * b_1 + ... + (a_j + 1) * b_j + ... + a_N + b_N)
= a_j</code></pre></div>
なので、増分は<code>a_j</code>に比例する. 
これを<code>X</code>回繰り返しても増分は<code>a_j</code>に比例するし、<code>a_j</code>の大きさは変動しない. 
また、<code>b_i</code>が1以上なので、<code>a_i</code>は大きいものから1つだけ選び、その<code>a_i</code>に対して処理を行えばよい。 
(仮に<code>b_i = 0</code>となる場合があるなら, そのような<code>b_i</code>に対しては<code>(a_i + k) * b_i => 0</code>なので)
したがって求める値は, <code>\sum a_n * b_n + max(a_n) * X</code>.
<h3 id="解答-1"><a href="#解答-1">解答</a></h3>
<div class="remark-highlight"><pre class="language-rust"><code class="language-rust">fn main() {
 let (n, x) = {
 let i = read::&#x3C;usize>();
 (i[0], i[1])
 };

 let mut ab = Vec::new();

 for _ in 0..n {
 let i = read::&#x3C;usize>();
 ab.push((i[0], i[1]));
 }

 ab.sort_by_key(|x| x.1);
 ab.reverse();

 let mut sum = 0;
 for x in ab.iter() {
 sum += x.0 * x.1;
 }

 println!("{}", sum + ab[0].1 * x);
}
</code></pre></div>
<h2 id="c"><a href="#c"><a href="https://code-festival-2018-qualb.contest.atcoder.jp/tasks/code_festival_2018_qualb_c" target="_blank" rel="nofollow noopener noreferrer">C</a></a></h2>
<code>N * N (N &#x3C;= 1000)</code>マスのグリッドが与えられる. 
あるマスを塗るとその4近傍も塗られるとした時, グリッドを全て塗る方法を出力する.
このときに塗っていいマスの上限が<code>201,800</code>マスである.
以下のようにチェスのナイトが動けるマス目っぽく塗ると, 無駄なく4近傍をカバーできる.
<div class="remark-highlight"><pre class="language-unknown"><code class="language-unknown">x . . . . x . . . . x . .
. . . x . . . . x . . . .
. x . . . . x . . . . x .
. . . . x . . . . x . . .
. . x . . . . x . . . . x
x . . . . x . . . . x . .
. . . x . . . . x . . . .</code></pre></div>
このときに<code>N * N</code>の四隅が切り取られるので、はみ出た部分を押し込む形で塗ると上手くいく.
このアプローチでいくと, <code>N = 1000</code>のときに塗るマスが<code>200,800</code>マスとなる.
<h3 id="解答-2"><a href="#解答-2">解答</a></h3>
<div class="remark-highlight"><pre class="language-rust"><code class="language-rust">fn main() {
 let n = read_one::&#x3C;usize>();

 let mut vec = vec![vec!['.'; n]; n];
 let ar = [0, 3, 1, 4, 2];
 let ra = [2, 4, 1, 3, 0];

 for i in 0..n { for j in 0..n {
 let mut flg = false;
 if j % 5 == ar[i % 5] { flg = true; }

 if i == 0 {
 if j % 5 == ra[(j + 3) % 5] { flg = true; }
 }

 if j == 0 {
 if i % 5 == ar[(i + 3) % 5] { flg = true; }
 }

 if i == n - 1 {
 if j % 5 == ar[(i + 1) % 5] { flg = true; }
 }

 if j == n - 1 {
 if i % 5 == ra[j % 5] { flg = true; }
 }

 if flg { vec[i][j] = 'X'; }
 }}

 // let mut cnt = 0;
 for i in 0..n { for j in 0..n {
 // if vec[i][j] == 'X' { cnt += 1; }
 print!("{}", vec[i][j]);
 }
 println!();
 }

 // n == 1000 -> 200,800
 // println!("{}", cnt);
}
</code></pre></div>
<h2 id="所感"><a href="#所感">所感</a></h2>
最初Cでn = 2の場合をアドホックに書いてて、👆の形の解答に直した後にアドホックの部分を消すのを忘れて1テストケースだけ通らない...と無駄に悩んでしまった. 解法はすぐわかったので本当にもったいない. 
D, Eに関しては順位表を見てE &#x3C; DっぽかったのでEを見て撤退. いつか解けるようになりたい.

Code Festival 2018 qual B

ABC112

<a href="https://github.com/alexcrichton/futures-rs" target="_blank" rel="nofollow noopener noreferrer">futures-rs</a> is a libary allows zero cost abstruction of state machine; <code>Future</code> trait in Rust.
futures-await provides Async/await syntax for <code>futures-rs</code>.
<h2 id="async"><a href="#async">#[async]</a></h2>
make it returns future instead of result.
<div class="remark-highlight"><pre class="language-rust"><code class="language-rust">#[async] // tagged with #[async] option
fn fetch(c: Client) -> Result&#x3C;T> {
 let res = await!()?; // Optional
 if !res.status().is_success() { // Err }

}
</code></pre></div>
<h2 id="async_stream"><a href="#async_stream">#[async_stream]</a></h2>
stream instead of future
<div class="remark-highlight"><pre class="language-rust"><code class="language-rust">#[async_stream(item=T)]
for s in T {
 ...
 stream_yield!(await!(..))
}
</code></pre></div>
<h2 id="await-macro"><a href="#await-macro">await! macro</a></h2>
<code>await!</code> macro allows blocking the procedure until completion, not blocking the thread.
it behaves like a function returns <code>Result(e)</code>
here is a brief procedure of <code>await!</code> macro.
<div class="remark-highlight"><pre class="language-rust"><code class="language-rust">macro_rules! await {
 let mut future = $e
 loop {
 match poll(&#x26;mut future) {
 Ok(Ready(e)) => break Ok(e),
 Ok(NotReady) => {}, // continue and wait
 Err(e) => Err(e)
 }
 }
 // block until NotReady -> Ready(e)
 yield futures::Async::NotReady
}
</code></pre></div>
<h2 id="async_block-macro"><a href="#async_block-macro">async_block! macro</a></h2>
it doesn't need a dedicated function like <code>#[async]</code>, (I think it's a like <code>thread::spawn()</code>, so it can be run with <code>core.run(Fn(async_block!))</code>)
<div class="remark-highlight"><pre class="language-rust"><code class="language-rust">pub fn spawn&#x3C;F, T>(f: F) -> JoinHandle&#x3C;T>
 where F: FnOnce() -> T,
 F: Send + 'static, T: Send + 'static

</code></pre></div>
here's the brief internal procedure of async_block macro.
<div class="remark-highlight"><pre class="language-rust"><code class="language-rust">#[proc_macro]
fn async_block(i: TokenStream) -> TokenStream {
 // input -> TokenTree -> TokenStream -> parse -> TokenStream
 let input = TokenStream::from(TokenTree {...,
 // parse input as token node
 ..., kind: TokenNode::Group(Delimiter::Brace, i)})

 let expr = syn::parse(input)

 // token construction..
 token.into() // return Stream
}
</code></pre></div>
<h2 id="nightly-features"><a href="#nightly-features">nightly features</a></h2>
<ul>
<li><a href="https://github.com/rust-lang/rust/issues/43122" target="_blank" rel="nofollow noopener noreferrer">generators</a></li>
<li><a href="https://github.com/rust-lang/rust/issues/35896" target="_blank" rel="nofollow noopener noreferrer">proc_macro</a></li>
<li><a href="https://github.com/rust-lang/rust/issues/42183" target="_blank" rel="nofollow noopener noreferrer">conservative_impl_trait</a></li>
</ul>

memo:reading futures-await

tweak ogp

tweak

reading wordpress

Rusk/Task Manager in Rust の作成log.
Rust とTask から命名
<h2 id="motivation"><a href="#motivation">Motivation</a></h2>
Googleカレンダーで主にスケジュール・タスク管理をしてたのだけど、
色々と不満点があったので小さいCLIツールを作ることにした。
<ul>
<li>Web上でGoogle ToDoリストを作成するまでの導線が長い</li>
<li>ToDoにタグ付けしたい &#x26; Tag毎に確認したい</li>
<li>ターミナルからも見たい</li>
</ul>
Task管理する上で欲しい項目/機能をリストアップ。
<h4 id="項目"><a href="#項目">項目</a></h4>
<ul>
<li>task/name</li>
<li>description</li>
<li>tag(s)</li>
<li>deadline</li>
</ul>
<h4 id="機能"><a href="#機能">機能</a></h4>
<ul>
<li>CRUD</li>
<li>Notification</li>
<li>ターミナル/Web(スマホ)両方から確認したい</li>
</ul>
で、上記を一番楽に実装しようと考えた結果、GitHubのレポジトリを立てToDoをIssueとして管理することにした。 
データ構造としてのタスクの項目が多いので、ToDoの作成は主にWebから。CLIから作成する場合はinteractiveな感じに。
<h2 id="approach"><a href="#approach">Approach</a></h2>
Rustの<a href="https://github.com/hyperium/hyper" target="_blank" rel="nofollow noopener noreferrer">hyper</a>を使ってhttpクライアントを作成。
hyper単体だとTLS対応していないので、<a href="https://github.com/hyperium/hyper-tls" target="_blank" rel="nofollow noopener noreferrer">hyper-tls</a>をコネクタに利用した。 
CLIには<a href="https://github.com/TeXitoi/structopt" target="_blank" rel="nofollow noopener noreferrer">structopt</a>を用いてCRUD操作をenumとstructでいい感じに。
出力の整形は<a href="https://github.com/phsym/prettytable-rs" target="_blank" rel="nofollow noopener noreferrer">prettytable-rs</a>を使用。OSS様様。
GitHubのAPIコールは<a href="https://github.com/settings/tokens" target="_blank" rel="nofollow noopener noreferrer">ここ</a>から発行できる<code>personal access token</code>をヘッダに付与するだけで、curlでも簡単に呼べる。 
レポジトリのissue一覧を叩くと以下のようにissueに対してユーザ情報、ラベルリストが入れ子構造になって返される。
<div class="remark-highlight"><pre class="language-sh"><code class="language-sh">curl -H &#x26;quot;Authorization: token $GITHUB_API_TOKEN&#x26;quot; https://api.github.com/repos/koka831/todo/issues

[
 {
 &#x26;quot;url&#x26;quot;: &#x26;quot;https://api.github.com/repos/...&#x26;quot;,
 ..
 &#x26;quot;id&#x26;quot;: 271094185,
 &#x26;quot;number&#x26;quot;: 2,
 &#x26;quot;title&#x26;quot;: &#x26;quot;hoge&#x26;quot;,
 &#x26;quot;user&#x26;quot;: {
 &#x26;quot;login&#x26;quot;: &#x26;quot;koka831&#x26;quot;,
 ...
 },
 &#x26;quot;labels&#x26;quot;: [
 {
 &#x26;quot;id&#x26;quot;: ...
 &#x26;quot;name&#x26;quot;: &#x26;quot;ToDo&#x26;quot;,
 &#x26;quot;color&#x26;quot;: &#x26;quot;3778ba&#x26;quot;,
 }
 ],
 &#x26;quot;state&#x26;quot;: &#x26;quot;open&#x26;quot;,
 ...
 }, ...
]</code></pre></div>
同じことをhyperからもやってみると、403/Forbiddenが返される。
<a href="https://developer.github.com/v3/#user-agent-required" target="_blank" rel="nofollow noopener noreferrer">reference</a>を読み直すとUserAgentが必須とのこと。
<blockquote>
All API requests MUST include a valid User-Agent header. Requests with no User-Agent header will be rejected.
</blockquote>
したがって最小限必要なheaderは以下の２つ。
<div class="remark-highlight"><pre class="language-unknown"><code class="language-unknown">User-Agent: app/1.0
Authorization: token $TOKEN</code></pre></div>
２つ目の<code>Authorization</code>の書式が曲者で、<code>token</code>とトークン文字列の間のスペースが２つあっても<code>Bad credentials</code>となる。
hyperで独自ヘッダを付与する際には、hyperのマクロが便利。
Authorizationのheader生成関数を作成して、TLSコネクタベースのHttpClientに渡す。
Clientサイドなのでシングルスレッドで。
<div class="remark-highlight"><pre class="language-rust"><code class="language-rust">use hyper::{Client, Method, Request};
use hyper::header::UserAgent;
use hyper_tls::HttpsConnector;
use tokio_core::reactor::Core;

// ...
header! { ( Authorization, "Authorization" ) => [String] }
let auth_header = format!("token {}", token);

let mut req = Request::new(Method::Get, url);
req.headers_mut().set(UserAgent::new("todo"));
req.headers_mut().set(Authorization(auth_header));

// setup client
let handle = core.handle();
let client = Client::configure()
 // creates connector with 1 thread
 .connector(HttpsConnector::new(1, &#x26;handle).unwrap())
 .build(&#x26;handle);
</code></pre></div>
取得したIssueリストはdeserializeしてstructに落としこむ。 
とりあえずの構造体を作ってserde-jsonとすり合わせようと思っていたのだけど、
構造体のkeyをjsonのkeyと合わせておくだけでそのままシリアライズしてくれた。
今回はv3のREST APIを使ったけど、struct/enumのSerializerとGraphQLも相性がいいと思う。
<div class="remark-highlight"><pre class="language-rust"><code class="language-rust">#[derive(Debug, Serialize, Deserialize)]
struct Issue {
 id: u32,
 number: u8,
 title: String,
 labels: Vec&#x3C;Label>,
 state: String,
 body: String
}

#[derive(Debug, Serialize, Deserialize)]
pub struct Label {
 id: u32,
 pub name: String,
 pub color: String,
 default: bool,
}

// ...
// send request
let res = client.request(req)
 .and_then(|res| { res.body().concat2()
 .and_then(move |body| {
 let v: Vec&#x3C;Issue> = serde_json::from_slice(&#x26;body).unwrap();
 Ok(v)
 })
});

core.run(res).unwrap()
</code></pre></div>
<h2 id="todo"><a href="#todo">ToDo</a></h2>
<ul>
<li>APIコールが1~2secかかるのでその間スピナーアイコン表示したい</li>
<li>rusk + fzf + vimでタスクをシームレスに編集できるように
<ul>
<li>CLI側のメモは後日fzf+vimインターフェースと合わせて</li>
</ul>
</li>
</ul>

Rusk/Task Manager in Rust の作成log.

Rust とTask から命名
## Motivation
Googleカ...