Abyssal Tarantella

JetBrainsのAll Products Packを購入した

Mon, 31 Jul 2023 00:00:00 GMT

Jetbrains 社の IDE の個人ライセンスを購入した。

購入したライセンス

All Products Pack という10個以上の IDE を使える料金形態で購入した。

使いたい IDE は利用頻度順に並べると以下の６つ。

WebStorm
CLion
GoLand
PyCharm Professional
Intellij IDEA Ultimate
DataGrip

https://www.jetbrains.com/ja-jp/all/

卒業割引

学生ライセンスを使っていた卒業生は卒業割引が使て、40%割引でライセンスを購入できる。今まで25%だった割引が2023年から40%に変わった¹。

私は学生ライセンスで IDE を使っていたが、卒業して先日ライセンスの期限が切れた。案内のメールが来ていたので、卒業割引を使ってライセンスを購入した。

私にとって Jetbrains の IDE とは

学生時代、プログラミングに入門して本格的に勉強し始めたときに使い始めたのが Jetbrains 社の IDE。デフォルトで機能が揃っていることと、「最強の IDE」と書かれている記事を見て選んだ記憶。

プログラミングを好きになれたのは Jetbrains の IDE があったからだと思う。

会社に買ってもらわないの？

多くの会社ではお願いすれば買ってもらえると思うし、実際に今の会社で入社前のアルバイトを始めたときから WebStorm のライセンスを買ってもらった。

しかし、買ってもらえるのは業務で使う言語の IDE で、趣味で使う言語の IDE は個人で購入する必要があった。

まとめ

学生時代の目標に Jetbrains の IDE にお金を払えるくらいの所得を得られるエンジニアになる、というものがあったので、叶ってよかった。

卒業割引が 25% から 40% に: https://blog.jetbrains.com/ja/education/2023/03/06/discount-for-former-students-increased-from-25-to-40/ ↩

Kinesis Advantage360 Pro で接続先を切り替える

Thu, 27 Jul 2023 00:00:00 GMT

Kinesis Advantage360 Pro を複数端末に接続し、接続先を切り替える方法をメモ。

インターネットのガイドはここから。

Adv360 Pro User’s Manual 3-10-22.pub . https://kinesis-ergo.com/wp-content/uploads/Advantage360-ZMK-KB360-PRO-Users-Manual-v3-10-23.pdf
- この記事では、「5.0 Basic Keyboard Use」を参考にしてます。

TL;DR

Switch Profiles: Mod + 1 - 5

やること

Kinesis Advantage360 Pro は最大で５台の接続先 (プロファイル) を登録することができます。

この記事では、すでに１台の端末と接続していることを前提に、２台目以降を登録・切り替える手順を書きます。

設定

Mod + 2 を入力
左手のキーボードの真ん中の LED (Profile LED) が青色に光っているのを確認
２台目の接続先として登録したい端末の Bluetooth 設定から Adv360 Pro に接続

切り替え

Mod + 1-5 で接続先を切り替えます。

プロファイルを削除

Mod + Right Windows で現在のプロファイルを削除できます。

Linuxデスクトップ環境とdotfilesの管理（2022年）

Thu, 18 Aug 2022 00:00:00 GMT

i3-gaps を中心とした Linux の環境構築についてと、それらのファイルの管理について書きました。

タイル型ウィンドウマネージャへ移行するモチベーション

今のラップトップを使い始めて４年目であることに加えて、１週間に何度も Linux をビルドしていたらバッテリーの寿命が縮んでしまったみたいで、メモリや CPU の使用率が気になり始めました。

特に Gnome がメモリを食ってるのが気になって、軽量なウィンドウマネージャを使うことにしました。

軽量なデスクトップ環境はありますが、一時期タイル型ウィンドウマネージャを使っていたことがあり便利なことは知っていたので、また使うことにしました。

見た目

かんたんな説明

i3-gaps
タイル型ウィンドウマネージャの i3 のフォークです。タイル間に隙間 ( gaps ) を入れることができます。
polybar
画像上部にあるステータスバーです
rofi
画像中央に表示されている、多機能なアプリケーションランチャーです。
i3status
画像下部にあるステータスバーです。
picom
compton のフォークのコンポジタです。ウィンドウの透過に使っています。
feh
画像ビュワーです。壁紙の管理に使っています。

ちなみに、ディストリビューションは Fedora36 です。

dotfiles の管理

上記の通り、複数のツールを使っていて、それぞれにコンフィグファイルがあります。ここからは、それらのファイル ( 以下: dotfiles ) の管理方法について紹介します。

dotfiles は git を使って管理しています。リポジトリを ~/.local/share/dotfiles に置き、シンボリックリンクを使って設定を反映させています。

例えば、 i3-gaps の設定ファイルは ~/.config/i3/config に置けば読み込まれるので、~/.config/i3 という ~/.local/share/dotfiles/i3 へ向けたリンクを作ります。この方法で複数の設定ファイルを１つのリポジトリで管理することができます。

しかし、手動でそれをやるのは面倒なのでスクリプトを書きました。

リポジトリ

https://github.com/chaya2z/dotfiles

スクリプトについて

中身は ln コマンド / unlink コマンドを叩いているだけです。 fire¹ というライブラリに依存しているためそこがネックですが、個人で使う分には十分に感じます。

dotfiles の管理ツールはいくつかあります² が、個人的にシンボリックリンクが簡単だと思ったのでそれらは使いませんでした。

fire

最後に、スクリプトに使用した fire というライブラリを紹介します。

fire は Python のライブラリで、CLI ツールの作成においてコマンドライン引数の処理を簡単にします。

例えば、以下のようなコードで link コマンドと unlink コマンドを作れます。クラスや関数を fire に渡すと、それをコマンドにできます。

import fire


class Command:
    def link(self, *files):
        """how to use link"""
        # link コマンドを実行したときの処理
        pass

    def unlink(self, *files):
        # unlink コマンドを実行したときの処理
        pass


fire.Fire(Command)

また、fire は help メッセージを生成してくれます。docstring を書いておけば help に表示してくれます。

おわり

私はいままで Ubuntu ユーザで、デスクトップ環境を変えず使っていましたが、いろいろ弄り始めると楽しいですね。

最後まで読んでくださりありがとうございます。

fire: https://github.com/google/python-fire ↩
ドットファイル: https://wiki.archlinux.jp/index.php/%E3%83%89%E3%83%83%E3%83%88%E3%83%95%E3%82%A1%E3%82%A4%E3%83%AB ↩

自宅インフラ構成の紹介（2022年）

Mon, 27 Jun 2022 00:00:00 GMT

趣味でやっている自宅サーバの紹介です。

トポロジ

小規模なネットワークとして一般的な形だと思います。

後述しますが、SAN として動くサーバとは直接接続しています。

置いてる機材

番号	役割	機種名
1	サーバ	HTE Proliant DL380 Gen8
2	サーバ	HTE Proliant ML310e Gen8
3	サーバ	HTE Proliant ML310e Gen8
4	ファイアウォール	NTT BizBox
5	L2 スイッチ	Cisco Catalyst 2960X
6	L3 スイッチ	Cisco Catalyst 3750X

動かしてるもの

ESXi

ストレージサーバ、Kubernetes、DNS サーバなどを運用しています。

SAN

EXSi のデータストア用です。ESXi と直結しています。

監視

サーバやネットワーク機器の監視をしています。

FW ( ファイアウォール )

Sophos Firewall Home Edition をインストールして使っています。無償利用できて、機能も豊富なのでおすすめです。特に L7 でのフィルタリングと VPN 機能はすごいなと思いました。

初期設定だとフィルタリングされすぎてしまうので注意。

ネットワーク

ルーティングは OSPF を使った動的ルーティングをしています。フィーチャーセットの問題で L3 スイッチが BGP を喋れないため OSPF を選びました。

VLAN 管理は L3 スイッチにやらせています。ネットワークの分割は 192.168.0.0/16 から VLAN に /24 を切り分けます。例えば、監視用には VLAN4 で 192.168.4.0/24 というネットワークを割り当てる感じです ( つまり、VLAN id と IP アドレスを関連させたかった ) 。

おわり

特殊なことはしていないので、あまり面白味は無いかもしれませんが、紹介は以上です。

サークルの1年を振り返る（2021年）

Mon, 27 Dec 2021 00:00:00 GMT

はじめに

この記事は ITRC Advent Calendar 2021 の25日目の記事です ( 遅れてごめんなさい )．

私は専門学校の情報系サークル¹にて部長を務めています．年末なので今年1年を振り返ってみようと思います．

サークルを取り巻く状況

コロナ禍に入ってから学校はオンライン授業が始まり，また，オフラインでの部活動が禁止されました．それにより新入生の勧誘ができず，新入部員を入れることができませんでした．そこで起きた問題は技術継承がうまくいかなかったことです．サークルでは管理しているサーバを始め，さまざまなリソースが引き継げていません．

先生にお願いし，何とか1年生への勧誘と，1年遅れで2年生へサークルへの勧誘ができました．そのおかげで現在では20名程の新入部員を迎えることができました．

主なできごと

4月

先輩からサークルを引き継ぎ

5月

SECCON Beginners CTF 2021 に参加

2年生が入部

6月

2年生との自己紹介を兼ねたサークル内 LT 大会

サークル内 wiki を運用開始

8月

ICT トラブルシューティングコンテストに参加

12月

サークルメンバーでアドベントカレンダー

1年生が入部

1年生との自己紹介を兼ねたサークル内 LT 大会

おわり

現状，未だオフライン活動はできません．せっかく先輩方が立ち上げてくださったサークルなので，自分たちの代で終わらせないようがんばりたいです．

諸々の事情があり学校名などは出せませんが、「山の上の学校」と言うと伝わることがあるところです． ↩

VLANの設定で学んだこと

Thu, 23 Dec 2021 00:00:00 GMT

はじめに

最近 VLAN の設定を行う機会があったのですが，そこで VLAN について理解不足な部分があることがわかったのでまとめます．

Access Port

まずは Access Port について．

Access Port とは

Access Port とは，１つの VLAN にしか所属できないポートのこと．VLAN タグの付かないフレームが流れる．PC は基本的に１つの VLAN にのみ所属するので，PC を繋ぐのに使われることが多い．

Trunk Port

次に Trunk Port について．

Trunk port とは

Trunk Port とは，複数の VLAN が所属できるポートのこと．VLAN タグの付くフレームが流れる．この仕様は IEEE802.1Q で定義され，これを実装した機器同士で通信するのに用いられることが多い ( 例外として以下に説明する Native VLAN がある )．

Native VLAN

最後に Native VLAN について．

Native VLAN とは

Native VLAN は Trunk Port に設定する VLAN で，Trunk Port にてタグのないフレームを流すことができる仕様のこと．Trunk Port でないポートを接続して利用できる．Native VLAN 同士を接続することもできる．

おわりに

Native VLAN のことを，そのネットワーク機器でデフォルトで設定される VLAN 番号のことだと勘違いしていました．多くのネットワーク機器では VLAN 1 がデフォルトで設定されていると思うのですが，その VLAN 1 というのは他の VLAN 番号と違い，特別なものだと思ってました．

Native VLAN を全然使っていませんでしたが，便利だと思ったので使っていきたいです．

JetBrains ToolboxでIDEをCLIから起動する

Tue, 14 Dec 2021 00:00:00 GMT

この記事は ITRC Advent Calendar 2021 の14日目の記事です．

やりたいこと

コマンドラインから Jetbrains の IDE を起動できるようにする．例えば以下のような感じのことをできるようにする．

idea hoge.md

環境

GNU/Linux Ubuntu Desktop 20.04
Toolbox を使って IDE を管理しているとする．

設定手順

1.まずは Toolbox を開く．

2.ウィンドウの右上の六角形のマークを押下し「Settings」を開く ( もしくは Ctrl + , を入力 ) ．

3.「 Generate shell scripts」にチェックを入れる．

4.任意の ~/ 以下のディレクトリを入力する (/usr/local/bin には権限がなく書きこめないため ) ．

5.入力欄の下の「 Change… 」を押下する．

6.ディレクトリ選択のダイアログが開く．「 Selection 」の入力欄の末尾に謎の空白があるので削除する．

7.「 OK 」を押下してダイアログを閉じる．

8.作成したディレクトリにパスを通す．

補足

この画面の「 Generate shell scripts」を設定する．ここでは /home/chaya2z/.local/share/JetBrains/bin を使っている．

「 Selection 」の入力欄の末尾に謎の空白がある

参考

https://pleiades.io/help/idea/working-with-the-ide-features-from-command-line.html

VyOSにコントリビュートした

Mon, 06 Dec 2021 00:00:00 GMT

この記事は ITRC Advent Calendar 2021 の6日目の記事です．

前の記事は @waka の最近のVim事情です．

はじめに

OSS に初めてコントリビュートしたので，その内容と考えたことを書きます．コントリビュートしたのは VyOS です．コントリビュートの内容は後述しますが，大したことはないのでその内容には期待しないでください．

PR

私の出した PR はこちらになります．

https://github.com/vyos/vyatta-cfg-system/pull/170

$ がエスケープされず変数としてみなされている部分があったのでそこをエスケープしました．

どうやってバグを見つけたか

VyOS を使っていたらエラーが出たのでそれでバグに気づきました．

出力されたエラーは次のものです．

Global symbol "$generate" requires explicit package name (did you forget to declare "my $generate"?) at /opt/vyatta/sbin/vyatta-load-user-key.pl line 162.
Execution of /opt/vyatta/sbin/vyatta-load-user-key.pl aborted due to compilation errors.
[edit]

エラーに /opt/vyatta/sbin/vyatta-load-user-key.pl の 162 行目の "$generate" がおかしいというようなことが書かれているのでそのとおりコードを確認しました．

OSS にコントリビュートするには

これを読んだ方は「これくらいの修正なら自分でもできそう」と思ったのではないでしょうか．以下はこのようなレベルのバグが他の OSS にもある前提で書きます．

まずはコントリビュートしたい OSS の最新版を使いましょう．このような比較的修正の簡単なバグはおそらく安定版にはありません．今回の PR も最新版に対して出したものです．最新版 ( いわば不安定版 ) のソフトを使うというのは OSS に貢献したいのなら当たり前かもしれませんが，実際には意識しないとやらないことだと思います．

あとは英語を拒絶しないことです ( これは意外に思う方もいるかもしれませんが，英語のページだとわかった瞬間ブラウザバック刷る人もいるようです )．私は英語が苦手なので DeepL や辞書を頼りました．

さいごに

この記事が OSS のコントリビュートのきっかけになる方がいれば幸いです．

ConoHa-VPSにVyOSをインストールする

Sat, 04 Dec 2021 00:00:00 GMT

この記事は ITRC Advent Calendar 2021 の4日目の記事です．

前日は @saba の【Unity】重い処理はメインスレッド以外の別スレッドで動かそう！！【非同期処理】でした．

次は @waka の最近のVim事情です．

1. ConoHa の VPS を契約しサーバを建てる

OS は何でもいい¹ のでサーバを契約します．

2. ウェブサーバを建てて ISO イメージを公開する

https://qiita.com/marukei/items/6b6ccee3e7a553f64f1e

この記事によると ConoHa の VPS では ISO イメージのダウンロードに http 接続しか使えないみたいです．

VyOS の ISO イメージは https で配布されているので，http 接続のためにウェブサーバを建てる必要があります．自分でビルドする場合も同じです．

2.1 nginxでウェブサーバを建てる

nginx のインストール

sudo apt update
sudo apt install nginx -y

ISO イメージファイルの公開

cd /var/www/html
sudo wget https://downloads.vyos.io/rolling/current/amd64/vyos-rolling-latest.iso

ISO イメージファイルにアクセスできるようにする

Nginx のデフォルト設定では，ブラウザから /vyos*.iso にアクセスしても ISO イメージファイルにアクセスできません．

/etc/nginx/nginx.conf を編集します．

http ディレクティブに server ディレクティブを追加します．

http {

    ...

    server {
        location / {
            try_files $uri $uri/ =404;
        }
    }
}

こうすると，ブラウザから /vyos*.iso にアクセスしたときにそのファイルがあるか探し，存在しなければ404を返すようになります．

3. ConoHaにISO イメージをダウンロードする

3.1 conoha-iso を使う

conoha-iso は，ISO イメージのダウンロードを簡単に行えるツールです．ツールのダウンロードは以下のページの手順を参考にします．

https://support.conoha.jp/v/clitools/

3.2 conoha-iso の確認

./conoha-iso list -u [APIユーザ名] \
                  -p [APIパスワード] \
                  -n [テナント名] \
                  -r [リージョン]

ISO イメージのダウンロードが初めてなら，ISO イメージは空なので No ISO images と返ってきます．

3.3 ISO イメージのダウンロード

(2) で建てたウェブサーバからISOイメージをダウンロードします．

./conoha-iso download -i http://{ConoHaのサーバのIP}/{vyosのISOイメージのファイル名} \
                      -u [APIユーザ名] \
                      -p [APIパスワード] \
                      -n [テナント名] \
                      -r [リージョン]

もう一度上記の ./conoha-iso list コマンドを使い，ISO イメージが追加されたか確認します．

4. ( 1 ) で建てたサーバに ISO イメージを挿入する

./conoha-iso insert コマンドで ISO イメージを挿入します．これは，ISO を焼いた USB メモリをサーバに挿した状態と同じです．

5. VyOS をインストールする

VyOS のインストーラが立ち上がるのでインストールします．

install image
poweroff

6. ISO イメージを排出する

./conoha-iso eject コマンドで ISO イメージを排出します．

まとめ

この手順でなら任意の ISO イメージを使ったサーバ作成が可能です。

ただ，ここまでするなら別の VPS 使ったほうがいいですね… 無料お試しサービスがあればそれを使いましょう．

参考

ConoHaのドキュメント．全体の流れはここを参照．
https://support.conoha.jp/v/clitools/

ウェブサーバを建ててISOイメージをダウンロードするアイデアはここから．
https://himakan.net/program/conoha-vps-install-rancheros

nginxの公式ドキュメント．locationの書き方はここを参照．
https://www.nginx.com/resources/wiki/start/topics/tutorials/config_pitfalls/

Ubuntu 20.04 で確認済み．ウェブサーバが建てられればなんでもいい． ↩

自宅インフラ構成の紹介（2021年）

Wed, 01 Dec 2021 00:00:00 GMT

この記事は ITRC Advent Calendar 2021 の1日目の記事です．

次は @Asterisk の Flask触ってみた（初級）です．

私の自宅ネットワークインフラの紹介をします．いままで大したことをしてなかったので外部に公開するのは憚られていたのですが，少しは以前よりマシになったと思いたいです．

トポロジ図

この画像の右側の黄色い部分 ( DMZ ) の話をします．

ネットワーク

私の自宅には IPv6 のグローバルアドレスが提供されていません．そこで IPv6 の提供される VPS を契約して VPN を繋ぎ，オーバーレイネットワークを作ることで自宅にそれらのアドレスを割り当てました．契約したのは ConoHa VPS で， ConoHa VPS では１つの NIC につき 17個の IPv6 グローバルアドレスがもらえます．

こんな感じで固定の IPv6 アドレスが貰えます．プレフィックスは /64 です．

VPN

VPN は Ubuntu に入れた OpenVPN を使っています．OpenVPN は他の VPN プロトコルと比べると ( 証明書を用いた方式の場合 ) 設定が複雑です．しかし以下の条件に当てはまるプロトコルだったので選択しました．

- 両方のノードがグローバル IP アドレスを持っている必要がない

- L2 レベルで接続できる

オーバーレイネットワークは次の図のようになります．

最初は VyOS を使って L2TPv3 over WireGuard なんてことをしていたのですが，オーバーヘッドが大きくレイテンシが高くなってしまったのでやめました．

その結果自宅 - VPS 間の平均レイテンシが 40ms から 5ms になりました．

Before

rtt min/avg/max/mdev = 39.541/48.039/80.300/16.134 ms

After

rtt min/avg/max/mdev = 4.629/5.247/8.509/1.114 ms

まだ検証はしていませんが，40ms もかかっていたのは，

1.VyOS の処理が遅い

2.WireGuard が遅い

のどちらかが原因で，WireGuard がそんなに遅いとは思えないので VyOS が原因なんだろうなと思ってます．

ルーティング

ルーティングでは設定の手間を省くためダイナミックルーティングを行っています．使っているプロトコルは BGP と OSPF です．これらのプロトコルの ECMP で負荷分散ができるところが好みです．BGP と OSPF の２種類のプロトコルを使っているのは BGP に対応していない機器 ( 具体的には Cisco の IP-Base のイメージの入った L3 スイッチ ) があるせいです．

サーバ

サーバでは Kubernetes を中心に運用しています．Kubernetes は最近勉強し始めました．

まとめ

これからもいろいろ遊んでいきたいです．他の人とネットワーク作るようなことをしていく予定です．

OPNsenseのファイアウォール設定でつまずいたこと

Tue, 17 Aug 2021 00:00:00 GMT

ところどころつまずいたので残します．

LAN net という項目

例えば，LAN という名前のインターフェイスがあったとき，ファイアウォールのルールの Source や Destination の選択肢で「LAN address」や「LAN net」という項目が選べます．

この LAN net というのは LAN インターフェイスが所属するネットワークだけを指し，それより下のネットワークのことではないです．

例えば、下図のように，LAN net が 192.0.2.0/24 であるとします．そのとき、送信先が LAN net のパケットを Reject する項目を追加しても，192.0.2.0/24 しか Reject しません．
つまり，下図のルータの下に 192.0.2.0/24 以外のネットワークがあったとしても，そのネットワークは LAN net の対象ではないということです．

自動生成されるファイアウォールルールを確認する

自動生成されるルールはウェブページを開いたときに隠れているので，表示して確認します．

ここにトラブルの原因があるかも知れません．

ファイアウォールルールの順番確認する

まずはドキュメントを参照するといいです．
https://docs.opnsense.org/manual/firewall.html

ドキュメントによると，ファイアウォールは次の順番で評価されます．

Floating ( 全インタフェイス ) での設定
グループでの設定
インターフェイスごとの設定

表の上のものが優先されて評価されます．

NATルールを確認する

恐らくデフォルトで有効になっています．

NAT しない場合は「Disable outbound NAT rule generation」を選択するといいです．

WEB GUIに繋げなくなったとき

ファイアウォールの設定を消してしまい，WEB GUI への接続がはじかれてしまったときの対処法を説明します ( CLI が使えることが前提 )．

pfctl コマンドを使って CLI から pf ( BSD 系 OS のパケットフィルタ ) の設定を行います．

pfctl -d

-d は disable のことで，ファイアウォールを無効にします．
これで WEB GUI に繋がるので、設定を再開できます．

再び有効にするには WEB GUI で設定を適用するか，pfctl コマンドを使います．

pfctl -e

-e は enable のことで，ファイアウォールを有効にします．

同じネットワークのアドレスをインターフェイスに振ってはいけない

2つ以上のインターフェイスに同じネットワークの IP アドレスを振ると，その設定が無効化され接続できなくなります．

同じネットワークに所属させるために bridge 機能があります ( この記事では説明しませんが )．

Dockerコンテナ間のパケットをキャプチャしてみた

Mon, 14 Dec 2020 00:00:00 GMT

Docker コンテナ間のパケットの流れが知りたかったので実験をしてみました．

~~Part-1(この記事)でパケットキャプチャを，後半の Part-2 では実験後調べてわかったことをまとめています．~~

追記: Part-2 の公開予定はありません．

実験

Docker コンテナを２つ作り，その間を通るパケットをキャプチャします．

環境

GNU/Linux Ubuntu20:04
Docker version 20.10.0 build 7287ab3

1. Docker コンテナを２つ作成する

nginx のコンテナ
ubuntu20.04 のコンテナ

イメージの取得

docker pull ubuntu:focal
docker pull nginx:stable

イメージが取得できたか確認します．

docker images

REPOSITORY          TAG                 IMAGE ID            CREATED             SIZE
ubuntu              focal               f643c72bc252        12 days ago         72.9MB
nginx               stable              2562b6bef976        13 days ago         133MB

コンテナ作成

docker run -dit --name ubuntu ubuntu:focal
docker run -d --name nginx -p 8080:80 nginx:stable

コンテナが作成できたか確認します．

docker container ps -a

CONTAINER ID   IMAGE                       COMMAND                  CREATED          STATUS                    PORTS                  NAMES
d548a1da6a21   ubuntu:focal                "/bin/bash"              10 minutes ago   Up 10 minutes                                    ubuntu
04fc8579cf2d   nginx:stable                "/docker-entrypoint.…"   13 minutes ago   Up 12 minutes             0.0.0.0:8080->80/tcp   nginx

2. コンテナ間で疎通

ping を飛ばせるようにする

Ubuntu のコンテナに必要なパッケージのインストールを行います．

ping コマンドを使いたいので iputils-ping パッケージをインストールします．

docker exec -t ubuntu apt update
docker exec -t ubuntu apt install -y iputils-ping

ping が飛ばせるか確認します．

docker exec -it ubuntu ping 8.8.8.8

PING 8.8.8.8 (8.8.8.8) 56(84) bytes of data.
64 bytes from 8.8.8.8: icmp_seq=1 ttl=113 time=4.19 ms
64 bytes from 8.8.8.8: icmp_seq=2 ttl=113 time=4.54 ms
64 bytes from 8.8.8.8: icmp_seq=3 ttl=113 time=4.05 ms
64 bytes from 8.8.8.8: icmp_seq=4 ttl=113 time=4.05 ms
64 bytes from 8.8.8.8: icmp_seq=5 ttl=113 time=3.92 ms
^C
--- 8.8.8.8 ping statistics ---
5 packets transmitted, 5 received, 0% packet loss, time 4006ms
rtt min/avg/max/mdev = 3.923/4.150/4.538/0.210 ms

コンテナの ip アドレスを確認する

IP アドレスは hostname コマンドでわかります．

docker exec nginx hostname -i

172.17.0.2

２つのコンテナの IP アドレスは表の通り．

コンテナ	IP アドレス
ubuntu	172.17.0.2
nginx	172.17.0.3

疎通確認

Ubuntu コンテナ側から ping を飛ばしてみます．

docker exec -it ubuntu ping 172.17.0.3

PING 172.17.0.3 (172.17.0.3) 56(84) bytes of data.
64 bytes from 172.17.0.3: icmp_seq=1 ttl=64 time=0.015 ms
64 bytes from 172.17.0.3: icmp_seq=2 ttl=64 time=0.049 ms
64 bytes from 172.17.0.3: icmp_seq=3 ttl=64 time=0.044 ms
64 bytes from 172.17.0.3: icmp_seq=4 ttl=64 time=0.049 ms
64 bytes from 172.17.0.3: icmp_seq=5 ttl=64 time=0.054 ms
^C
--- 172.17.0.3 ping statistics ---
5 packets transmitted, 5 received, 0% packet loss, time 4100ms
rtt min/avg/max/mdev = 0.015/0.042/0.054/0.013 ms

3. パケットキャプチャ

Wireshark を開き，インターフェースに docker0 を選択してパケットキャプチャを行います．

4. わかったこと

Wireshark のスクリーンショットの右下にパケットの構造が表示されています．Ethernet の中に IPv4 があり，そのデータ部分に ICMP があります．

ここからわかるのは流れているのは普通のパケットと同じ構造のものということです．

~~Part-2 に続きます．~~

~~次：Part-2(今月中に投稿する予定)~~

追記: Part-2 の公開予定はありません．

eBPFでシステムコールを監視してみた

Thu, 03 Dec 2020 00:00:00 GMT

この記事はITRC Advent Calendar 2020 の 3 日目の記事です．

前の記事は@site0801 の nested 対応してるクラウド事業者リストです．

次の記事は@bluekey0725 の TUN モジュールによる Docker のロードエラーと linux カーネルです．

はじめに

この記事は 2020/10/28 - 29 に開催された、eBPF summit の Day 1 の「A Beginner’s Guide to eBPF Programming」の内容を受けて書いています．

eBPF summit の内容は公開されています．

https://ebpf.io/summit-2020/

実際に自分の環境で公開されているコードを実行してみました．

環境

OS: Gnu/Linux Ubuntu20.04
Python: 3.8

ソースコードはプレゼンを行った lizrice 氏の GitHub にて公開されています．それを使わせていただきました．
https://github.com/lizrice/ebpf-beginners

やること

clone システムコールの監視を行います．

ターミナルを２つ開き，１つのターミナルで監視するプログラムを実行，もう１つのターミナルでlsコマンドを実行し、clone システムコールを発行します．

結果

ID 0 が追加されたところが，root ユーザでlsコマンドを実行したところです．

$ sudo python3 ebpf.py
No entries yet
No entries yet
ID 1000: 1
ID 1000: 1
ID 1000: 1
ID 1000: 1
ID 1000: 2
ID 1000: 2	ID 0: 1
ID 1000: 2	ID 0: 1
ID 1000: 2	ID 0: 1
ID 1000: 2	ID 0: 1
ID 1000: 3	ID 0: 1
ID 1000: 6	ID 0: 1
ID 1000: 7	ID 0: 1

Tkinterで画面の明るさを調整するアプリを作った

Fri, 02 Oct 2020 00:00:00 GMT

Python の Tkinter を使い，ラップトップの画面の明るさを変えるだけの GUI アプリを作りました．

ソースコードはこちら．

外観

アプリのスクリーンショットです．

目的

私はウィンドウマネージャの i3 を使っており，GNOME や KDE といったデスクトップ環境は入れていません．それらのデスクトップ環境にあるような画面の明るさや音量を変える設定アプリは無いため，自分で作ることにしました．すでに他の人が作ったものはありますが，勉強のため画面の明るさを変えるアプリを作ることにしました．

おわりに

polybar から呼び出せるようにして使っていく予定です．rofi とは別によく使う項目をここに機能追加していく予定.

Gatsbyでブログを作った

Sun, 27 Sep 2020 00:00:00 GMT

このブログを公開するまでの話．

Gatsby を選んだ理由

以前，Hexo を使ってブログを作成したのですが，テーマを入れただけでそのソースコードは改造しませんでした．そのソースコードを読むのも大変で，記事を書くモチベーションは低かったです．そこでブログを作り直そうと考えていました．

最初は手元で Markdown のテキストファイルを HTML に変換し，必要な部分だけをデプロイするプログラムを作ろうかと思ったのですが，当時 React を勉強していた友人に React を勧められ，Gatsby を使うことにしました．

躓いた|うまくいったところ

The Gatsby Blog theme

最初は「The Gatsby Blog theme」というブログ用のプラグインを使おうとしていました．しかし，このプラグインを使いながら自分で作ったデザインを使うのは難しかったです．

結局，このプラグインは使わず，このプラグインの行っていた .md ファイルを記事として認識するといったプログラムは自分で実装しました．

このプラグインは自分でデザインを作りたい人には向きません（多分）．

実際大きく書き換えることになるならフォークして作ったほうがはやいみたいなので，自分でいろいろ弄りたいなら使わないでやったほうがいいと思います．

If you find yourself shadowing a large number of components in a particular theme, it might make sense to fork and modify the theme instead.

https://www.gatsbyjs.com/docs/themes/shadowing/

記事カードを並べる

記事一覧ページで記事カードが並んでいる部分は CSS で実装しています．ここはサークルの先輩に「grid レイアウトがすごい」と聞いていて，それがやりたかったのもあってこのようなデザインになっています．

grid レイアウトは強力なので，ぜひ使ってみてください．

React や GraphQL

まず，React と GraphQL は初めて触ったのですが，思ったよりもわかりやすかったです．React は学習コストが高いと聞いていたのですが，とりあえず動かすのは（作っているものが単純なこともあり）簡単でした．GraphQL は GraphQL IDE を使ったのであまり苦労しませんでした．

おわりに

修正箇所や追加したい機能はまだまだあるので完成とは言えませんが，公開できてよかったです．

ハノイの塔と再帰について考えた

Tue, 28 Apr 2020 00:00:00 GMT

『入門データ構造とアルゴリズム』¹ の 2 章「再帰と後戻り」の課題を Python で書いてみました．ハノイの塔が例として出てくるのですが，私にはそれが初見だと難しかったので残します．

ハノイの塔とは（Wikipedia）

再帰の問題

問題 2-1 ハノイの塔を論ぜよ

Python でハノイの塔の最小移動回数の手順を求めるプログラムを書いてみます．コード自体は短いですが，理解するのが難しかったので順を追って説明します．

この記事では本に従って以下のように用語を使います．

「Source にある円盤を Destination に移動させよ．その際に Auxiliary を用いてよい．」という感じです．

最小移動回数を求める

ハノイの塔の解説を読むと，「 $n$ 番目の円盤を Source から Destination に移す．」「 $n-1$ 枚の円盤を，Auxiliary から Destination に移す．」という説明が出てきます．しかし，どういうきっかけでそれを思いつけばいいのかわからなかったので書きます．

最初に，漸化式を使って最小移動回数を求めます．

まず，円盤の枚数が $1$ 枚， $2$ 枚， $3$ 枚 $\dots$ $n-1$ 枚， $n$ 枚のときの最小移動回数からなる数列を，数列 $\lbrace a_n \rbrace$ とします．初項 $a_1$ は 1 枚の円盤を Destination に移すだけなので， $a_1 = 1$ となります．

以下の図のように $n$ 段円盤があるときには，その最小移動回数は　 $a_n = n$ 回ということですね．

まず，円盤が 1 枚のときは最小移動回数は $a_1 = 1$ 回です．

次に $a_{n + 1}$ の時を考えます． $a_{n + 1}$ を Destination に移動させるには，最終的に以下の作業が必要になります．

$n$ 段の円盤を Auxiliary に移動する．
$n + 1$ 枚目 ( Source にある一番下の段 ) を Destination に移動する．
Auxiliary に移動した n 段の円盤を $n + 1$ の上に載せるように Destination に移動する．
$n + 1$ の山が完成する．

つまり， $a_{n + 1} = a_n + 1 + a_n = 2a_n + 1$ となります．これについて図で考えてみます．

まず， $n$ 段を Auxiliary へ移動する最小移動回数は $a_n$ です．

次に， $n + 1$ 段を移動する最小移動回数は 1 です．

最後に， $n$ 段を Destination へ移動する最小移動回数は $a_n$ です．

これが $a_{n + 1} = a_n + 1 + a_n = 2a_n + 1$ の意味です．

$a_{n + 1} = 2a_n + 1$ を変形すると
$a_{n + 1} - 1 = 2(a_n + 1)$

ここで， $a_n + 1 = b_n$ とおくと
$b_{n + 1} = 2b_n，b_1 = a_1 + 1 = 1 + 1 = 2$

よって数列 $\lbrace b_n \rbrace$ は初項 $2$ ，公比 $2$ の等比数列であるから
$b_n = 2 \bullet 2^{n-1} = 2^n$

したがって $a_n = b_n - 1 = 2^n - 1$

というわけで円盤 n 枚のときのハノイの塔の最小移動回数は $2^n - 1$ とわかりました．
その過程で $n$ 枚目の円盤と $n-1$ 枚の円盤に分ける考え方が理解できたと思います．

なぜ再帰関数か

なぜ再帰関数で求められるのかを考えます．再帰であるということは，繰り返されている処理と入れ子になっている処理があるはずなので，それを見つけます．

繰り返されている部分

私は以下の図のイメージで繰り返されている部分に気づきました．再帰に気づくヒントになると思います．この図では $n = 4$ の場合までしか載っていませんが，それ以上の場合も変わりません．

繰り返されているのは以下の処理です．

$n - 1$ 段を真ん中に作る．
$n - 1$ 段を Auxiliary に移動する．
$n$ 段目を Destination に移動する．
$n - 1$ 段を Auxiliary から Destination に移動する．

これは何段であっても同じです．

次に上の図では省略されている $n - 1$ 段を Destination から Auxiliary に移動する部分を考えてみます．

例えば， $n = 4$ のとき Destination に積まれた 3 段の円盤を Auxiliary にスライドしています．ここは $n = 3$ のときに Source から Destination に移動するのと使う場所が違うだけでやることは変わりません．ただ移動元と移動先が変わるだけです．

では，そもそも $n = 1$ 段を Source から Destination に移動するにはどうすればいいでしょうか．上の GIF 画像を見ながら考えてみてください．
$n = 2$ で作れる円盤を利用して $n = 3$ を作っています．そして $n = 2$ を作るのに $n = 1$ を利用しています．
$n$ 段を移動するのに $n - 1$ 段を利用し， $n - 1$ 段を作るのに $n - 2$ 段を利用し， $n - 2$ 段を作るのに $n - 3$ を $\cdots$ と入れ子になっているのです．

手順を求める

それでは，どのような手順で円盤を操作すれば最小移動回数でハノイの塔の目標を達成できるか，再帰関数を使ってコードを書いていきます．

まず， $1$ 段目（一番上）を移動します．1 段目を利用して $2$ 段の山を Destination に作ることができます．そして同じように 3 段目を作ることができ $\cdots\ n$ 段目が完成します．

def towers_of_Hanoi(n, frompeg, topeg, auxpeg):
    # First, move disk 1.
    if n == 1:
        print("Move disk 1 from peg", frompeg, "to peg", topeg)
        return

    # move n - 1 pegs from source to auxiliary.
    towers_of_Hanoi(n - 1, frompeg, auxpeg, topeg)

    print("Move disk", n, "from peg", frompeg, "to peg", topeg)

    # move n - 1 pegs from auxiliary to destination
    towers_of_Hanoi(n - 1, auxpeg, topeg, frompeg)


towers_of_Hanoi(3, "A", "B", "C")

後戻りの問題

問題 2-2 n ビットのすべての列を生成せよ．A[0..n-1]をサイズが n の配列と仮定せよ．

例えば， $n = 2$ なら $00，01，10，11$ を出力するということです．やり方はいろいろありますがここでは本に載っているやり方と同じような考え方でやります．

コードを追うと 0 と 1 で分岐する図が想像できると思います．

bit: int = int(input())

A = [0] * bit


def binary(n):
    if n < 1:
        print(A)
    else:
        A[n - 1] = 0
        binary(n - 1)
        A[n - 1] = 1
        binary(n - 1)


binary(bit)

問題 2-3 0..k-1 を要素とする長さ n の列をすべて生成せよ．

問題 2-2 では 2 進数の場合を考えましたが，今度は $k$ 進数の場合を考えます．こちらも本に載っているやり方と同じような考え方でやります．

digit, nary = map(int, input().split())

A = [0] * digit


def k_string(n, k):
    if n < 1:
        print(A)
    else:
        for i in range(k):
            A[n - 1] = i
            k_string(n - 1, k)


k_string(digit, nary)

例えば，3 桁の $k$ 進数と言われれば 3 重に for 文でループを回せばすべての列を生成できます．しかし今回のような列の長さがわからない場合に再帰がうまく使えます．

おわりに

ハノイの塔が難しかったです．階乗を再帰で計算するのとはやっていることが全然違うものに思えて理解するのに時間がかかりました．再帰は遅くて実際のコード中ではほとんど使われない（大抵が反復を使う）イメージがあるので，解きながら問題の難易度と実用性が見合わないのではないかと感じていました．本によると再帰の問題が後のページで出てくるようなので，今回の勉強が役に立つといいです．

『入門データ構造とアルゴリズム』 ( Narasimha Karumanchi 著黒川利明・木下哲也訳 ) オライリージャパン ↩

秋葉原で集める電子部品

Mon, 23 Dec 2019 00:00:00 GMT

先日秋葉原にて電子パーツを買ってきました. きっかけは「コンピュータはなぜ動くのか」という本です. 「コンピュータを作ってみよう」という内容があり, それに必要なものを買いました. もちろん実際にコンピュータを作らなくても読み進められるのですが, 作ってみたかったのでやろうと思いました. ただ, まだ完成はしていないので, そのパーツ集めの話をしようと思います.

Z80

作るコンピュータは Z80 CPU を使ったものです. Z80 は有名なチップなので知っている人も多いと思います. とはいえ作られたのは今(2019)から約 40 年前の 1976 年ですので少しこれについて説明します.

Z80 は 8bit の CPU で, 開発にはあの嶋正利さんが関わっています. Z80 の発表は 1976 年で Zilog(ザイログ)という会社が作りました. あと I/O ポートもあります. Z80 は人気あるチップなのでこれを扱った記事がたくさんあります.

パーツ集め

秋葉原に行けばあるだろうと思い秋葉原へ行きました. 最初に訪れたのは何度か買い物したことのある, 秋月, 千石, マルツです. しかしここでは見つかりませんでした. ここ以外の店は知らなかったので店舗で買うのは諦めていました.

その後, 別の理由で秋葉原に来ていました. Z80 との出会いは偶然で, ふと立ち寄ったラジオデパートで見つけました. 2 階にある光南電気という半導体を扱っている店で, 半導体の並んだショーケースの中にありました. Z80 CPU 以外にもこの店で聞いたところ全部ではなかったですがありました.

実は私は, ラジオデパートが創業 70 年の電気街と深く関わりある建物ということは後から知りました. 40 年前のパーツが手に入る電気街秋葉原はすごいですね.

先人に学ぶ

Z80 と他にいくつかのパーツは手に入れたものの, 一つ見つけられなかったものがあります. それは本にクロックジェネレータと書いてあるパーツです. そもそもクロックジェネレータという分類を店で見つけられなかったので調べたところ, なんと同じ本を読んでさらにクロックジェネレータを探した人がいました. クロックジェネレータは水晶発振器だということがわかったので秋葉原に探しに行くと見つかりました. これはラジオデパートの 2 階のサン・エレクトロという半導体を扱う店で買いました.

参考にさせてもらったブログは 2003 年に書かれたもので, そのときですら Z80 を中心としたパーツ集めに苦労したようです. 創業 70 年のビルで 40 年前のパーツを 20 年前のネットの記事を参考に買うというなかなかできそうにない経験をしました.

さいごに

探すのに苦労したものの, 今回のパーツ探しは楽しかったです. Z80 はとても思い入れのあるチップの一つになりそうです. 通販でパーツを買う人も多い時代ですがまだまだ秋葉原は電気街ですね(当時を知らない自分がいうのはおこがましいことは承知).

ここまで読んでくださりありがとうございます. 完成したら記事にしたいと思います.

参考・紹介

Hexoでブログを作った

Mon, 09 Dec 2019 00:00:00 GMT

はじめに

はじめまして.

このブログは静的サイトジェネレータのHexoを使って作りました. 最初の投稿のテストを兼ねて, 記事を書こうと思います.

サイトの作成の方法は公式ドキュメントや他の人が書いたものがあるのでここでは説明しません.

ブログ制作で迷走

私はこのブログが4回目のブログ制作になります. そのほとんどは作っただけで使わなかったのですが, 以下のサービスを利用しました.

blogger

googleのブログ投稿サービスです. いくつか記事を投稿したものの, アウトプットとWWWの勉強を兼ねてブログを使いたかったので, ほとんどコードを触らないbloggerはやめることにしました.
NetlifyにHTMLをホスティング

Webの知識は無かったので一昔前のブログが完成しました. HTMLとCSSしか使われていません(他のものは知らないので). これはどうすればいいのかわからなすぎてやめました.
Pelican

Pythonの静的サイトジェネレータのPelicaを使ってブログを作成しました. これは形にはなったのですが, Netlify CMSがいろいろなサービスに対応していることと, PythonしかできないからPythonを使うのではなく, 知らないことがあったら勉強するべきだろうと思い, やめました.
Hexo(このブログ)

Netlify CMSが使えるなかでHexoはブログ向けだと知ったのでHexoを使うことにしました.

これらを約半年の間に使ったのですが, まあ迷走してます(笑).

だいたい以下の基準で選んでいます.

無料でホスティングできる
Markdownで書ける
公式ドキュメントにチュートリアルが載っている
テーマやプラグインが充実している

おわりに

この記事の投稿時点では, まだデザインやコンテンツは完成していません. 変更したことはどこかにまとめられたらと思っています.

おそらく, しばらくはこのブログを使うと思うので, 見てくれると嬉しいです.

Abyssal Tarantella

JetBrainsのAll Products Packを購入した

購入したライセンス

卒業割引

私にとって Jetbrains の IDE とは

会社に買ってもらわないの？

まとめ

Footnotes

Kinesis Advantage360 Pro で接続先を切り替える

TL;DR

やること

設定

切り替え

プロファイルを削除

Linuxデスクトップ環境とdotfilesの管理（2022年）

タイル型ウィンドウマネージャへ移行するモチベーション

見た目

かんたんな説明

dotfiles の管理

リポジトリ

スクリプトについて

fire

おわり

Footnotes

自宅インフラ構成の紹介（2022年）

トポロジ

置いてる機材

動かしてるもの

ESXi

SAN

監視

FW ( ファイアウォール )

ネットワーク

おわり

サークルの1年を振り返る（2021年）

はじめに

サークルを取り巻く状況

主なできごと

おわり

Footnotes

VLANの設定で学んだこと

はじめに

Access Port

Access Port とは

Trunk Port

Trunk port とは

Native VLAN

Native VLAN とは

おわりに

JetBrains ToolboxでIDEをCLIから起動する

やりたいこと

環境

設定手順

補足

参考

VyOSにコントリビュートした

はじめに

PR

どうやってバグを見つけたか

OSS にコントリビュートするには

さいごに

ConoHa-VPSにVyOSをインストールする

1. ConoHa の VPS を契約しサーバを建てる

2. ウェブサーバを建てて ISO イメージを公開する

2.1 nginxでウェブサーバを建てる

3. ConoHaにISO イメージをダウンロードする

3.1 conoha-iso を使う

3.2 conoha-iso の確認

3.3 ISO イメージのダウンロード

4. ( 1 ) で建てたサーバに ISO イメージを挿入する

5. VyOS をインストールする

6. ISO イメージを排出する

まとめ

参考

Footnotes

自宅インフラ構成の紹介（2021年）

トポロジ図

ネットワーク

VPN

ルーティング