月報 2021/10

Fri 01 Oct 2021

23:48:10

ぬきたし1をクリアした

Mon 04 Oct 2021

15:28:11

今日のインターネット

不安な人間と統合失調症の区別なんて曖昧なんだろうな. この人の素性は知らないですけど.

Tue 05 Oct 2021

22:20:41 WSL2上でsshd

WSL2 上に ssh サーバを立てる.

WSL2 上の設定は普通の Ubuntu で ssh サーバ建てるのと同じ. systemctl コマンドだと駄目だったので service コマンドで扱う.

# WSL2
$ sudo apt install openssh-server

$ sudo systemctl status ssh
System has not been booted with systemd as init system (PID 1). Can't operate.

$ sudo service ssh status
 * sshd is running

$ curl -sL https://github.com/cympfh.keys > ~/.ssh/authorized_keys
$ sudo service ssh restart
 * Restarting OpenBSD Secure Shell server sshd

Windows から見た WSL の IP は WSL2 上で

$ ifconfig | awk 'BEGIN{f=0}/eth0/{f=1}/^$/{f=0}f'

これの inet のとこにある 172... みたいな IP.

ただし, ホスト Windows からだと localhost ででもアクセスできてしまう.

# ホスト Windows, Powershell
$ ssh ${USER}@localhost

しかし外のマシンからでは直接アクセスできないので, ホスト Windows で 22 番ポートをフォワーディングしてやればよい.

【メモ】WSL2上のsshサーバに外部から接続する | Takeshi Yonezu
Windows10にWSL2を設定してUbuntuをインストールしている状態で、sshサーバーを起動して外部のコンピューターから接続することができます。ただし、WSL2の内部ではホストとなるWindows10とは違うネットワークが使われて

tkyonezu.com/windows10/%E3%80%90%E3%83%A1%E3%83%A2%E3%80%91wsl2%E4%B8%8A%E3%81%AEssh%E3%82%B5%E3%83%BC%E3%83%90%E3%81%AB%E5%A4%96%E9%83%A8%E3%81%8B%E3%82%89%E6%8E%A5%E7%B6%9A%E3%81%99%E3%82%8B/

## WSL2
$ sudo cat <<EOM > /usr/local/bin/wsl.ssh_port_forward.sh

##!/bin/bash

IP=$(ifconfig eth0 | grep 'inet ' | awk '{ print $2 }')

echo Fowarding ${IP}:22
netsh.exe interface portproxy delete v4tov4 listenport=22
netsh.exe interface portproxy add v4tov4 listenport=22 connectport=22 connectaddress=${IP}

exit 0
EOM

$ sudo chmod +x /usr/local/bin/wsl.ssh_port_forward.sh

これを Windows 側から実行したい.

## ホスト Windows, PowerShell
$ wsl --exec bash /usr/local/bin/wsl.ssh_port_forward.sh

これで外の環境からは直接見えてるはずのホスト Windows に向かって SSH すればよい. Windows の IP は Powershell から ipconfig して 192.168... っぽいものを探す.

ここらへんの話はブログにまとめておいた.

Windows/WSL2 で自宅サーバを建てる - 塊2022
TL;DR やれば出来る子構成 Windows10 WSL2 (Ubuntu 20.04) Intro 2019年あたりからWSLが実用的になりつつあり, それまで基本的には Linux (特にUbuntu）, 仕事用は Mac で生きていた私にも Windows を見直そうという潮流がやってきた. Windows/WSL(2) での生き方はこう. GUIGUI したもの（webブラウジング, Slack, Discord 等）は Windows ネイティブターミナルしたものは, Windows Terminal + WSL いわゆる開発は全てここで完結している VcXsrv で Wind…

cympfh.hatenadiary.com/entry/2021/10/22/164151

Fri 08 Oct 2021

12:51:32

最もシンプルなソートアルゴリズム

Is this the simplest (and most surprising) sorting algorithm ever?
We present an extremely simple sorting algorithm. It may look like it is obviously wrong, but we prove that it is in fact correct. We compare it with other simple sorting algorithms, and analyse some of its curious properties.

arxiv.org/abs/2110.01111

def i_cant_believe_it_can_sort(a: List[int]):
    for i in range(len(a)):
        for j in range(len(a)):
            if a[i] < a[j]:
                # swap
                tmp = a[i]
                a[i] = a[j]
                a[j] = tmp

これで昇順にソートされる.

Thu 14 Oct 2021

13:30:06

こないだ、プライムビデオで屍人荘の殺人見た. 思ってるのと違ったけど主人公の女の子が可愛かったので良かったね.

17:08:26

Windows マシンをSAMBAサーバにしたい. Linux サーバをそれにする方法ばっかりがぐぐるとヒットする.

Windows 10でNASが見えなくなりSambaを有効化して解決
Windows 10で気がついたらNASに接続できなくなっていた。たまにしかNASを使っていなかったので、いつから起きていたか不明。調べるといろいろな解決方法がインターネット上で公開されている。その中から「Sambaのク […]

blog.makotokw.com/2017/12/26/windows10-samba-nas/

"Windowsの機能の有効化または無効化" にあった. デフォルトではクライアントにはチェックが入ってたけど、サーバの方にはチェックが入ってなかったので入れた. またOS再起動かとヒヤヒヤしたが, その必要はなく, 黙ってSAMBAサーバが立ち上がったようで別のマシンからアクセスできた. 必要なユーザー情報はOSのログイン情報と同じで, 私の場合は microsoft アカウントのユーザー名とパスワードになっていた. アクセス先は勝手にルート的なところ（直下にCドライブとかDドライブとかが並んでる）になっている. しかし各ドライブにはアクセス権がないと怒られた.

デル製レーザープリンタでSMB（サーバ・メッセージ・ブロック）スキャンをするためにPCまたはサーバを設定する方法 | Dell 日本

ここの "Windows Server 2012" の説明の通りでよい. 共有したいフォルダを右クリック, プロパティから共有に関する設定がある. これがsambaに関する設定であるらしい. フルアクセスを許可すれば良い.

17:19:00

ubuntu 使いが arch wiki を参照するように, Windows 使いは Windows Server で調べると良いかもしれない

Sat 16 Oct 2021

00:43:32

常識とはなにか. 個々人が生きる中で培ってきたルールの集合. 例えば, 外に出るときは服を着て靴を履いたほうが良いとかいったルール. ここではルールの集合または, その中の一つのルールのことを指して常識と呼ぶことにする. 当然次のことが言える.

異なる人物が持つ常識は同じとは限らない
- 外出するのに靴を履くことを常識としない人間がいるのは想像に難くない
近い環境で育った人間の持つ常識は近い
- "遠い/近い" は直感的な意味で使ってる
- 同じ日本人ならそれだけである程度近い常識を持っているし, 育った地区が同じであれば, 更には生みの親が同じ（つまり兄弟）であればなお一層近い常識を持っている

コミュニティとはなにか. 人間の集合のこと.

コミュニティの文化とはなにか. コミュニティに属する個々人の常識のその緩やかな共通集合のこと. "緩やかな" といったのは, 厳密に100%の人間が持ってる常識ではなくて80%くらいが持ってればそれなりに強い文化だから. 仮に 80% 以上の人間が持ってる常識のことを, そのコミュニティにおける 80% 文化と呼ぼう. 100% 文化はほとんど空集合に近いだろう.

「人間とはこうあるべき」という形式に書き換えることが出来るルールを真人間ルールと呼ぼう. ある文化の中の真人間ルールだけを取り出したものは, その文化における真人間の理想像である. 仮に 80% 文化を考えて, その中の真人間像を完全に常識の中に持っている人間のことを, 真人間という.

この定義のポイントは常識というのは「ルールを知っていること」だけだとしていて, 実践しているかどうかは問いていない. こうしている理由はある. 常識というルールセットの中には矛盾するルールが含まれうるからだ. 「外出時は靴を履きましょう」は日常的には実践されるとしても, 災害時には無視してもよいというルールも持っている方が便利だ. 知っていることと実践することには開きがある. 今の例で言えば, ルールを緻密にすれば完全に実践できるかもしれない. つまり, 「 日常では 外出時は靴を履きましょう」と修正すればよい. しかし, 人間がそんな緻密なルールを念頭にして生活しているとは到底思えない. 玄関で靴を履くときに, 今は日常か非常事態か考えるかより, 普通はもっと他の有意義なこと, 例えば今は晴れているが午後は雨が降るだろうかとか, そういったことを考えるはずだからだ.

ありえるルール全ての集合 \(R\)
- 本当に何でも良い規則
人間全ての集合 \(P\)
人間 \(p \in P\) が持っている常識 \(R_p \subset R\)
コミュニティ \(C \subset P\)
- 有限集合
コミュニティ \(C\) の文化 \(Cl^C_q = \{ r \in R \mid \#\{ p \in C \mid r \in R_p \} \geq q \}\)
- \(0 \leq q \leq 1\)
  - 仮に文化の強度と呼ぼう
- 特に \(Cl^C_0 = R\)
- 特に \(Cl^C_1 = \bigcap_{p \in C} R_p\)

Mon 18 Oct 2021

18:52:30

GNU screen 4.2.0 で罫線の表示が崩れる.

GNU Screen 4.2.0にしたら罫線表示がぶっ壊れた
原因はcjkwidthというパッチが取り込まれたことだった。.screenにcjkwidthoffという1行を加えれば以前と同じように表示される。これは一体何の役に立つ…

anond.hatelabo.jp/20140512183601

役立った. ありがとう匿名はてなダイアリー.

Wed 20 Oct 2021

19:36:27

有限情報 / 無限情報

有限の記述量で表現される情報を有限情報という, そうでない情報を無限情報という, といった用語はない.

Tue 26 Oct 2021

17:31:48

最近、日報を書くのをサボってたからまとめて書く.

先週の16日の土曜日、高尾山に登った. 8月末に登ったときには不甲斐なく登り始めて３０分程度で気分が悪く挫折したわけだが、その時は朝ごはんを抜いたのが原因だったと考えて、今回は念入りに朝ごはんを二回食べた. そして前回は稲荷ルートで登ろうとしてたのだが、今回は曇りがちょうど心地よく、なんせ次の日の天気予報が雨なくらいに湿気ていたので、これは六号路が良いだろうと考えてそうした. 快適に登れた. 山頂にはあまりに多くの人だかりがいて、早めに撤退した. 稲荷ルートで下った.

先週の17日の日曜日、アキバに行った. 西澤五ミリ展を見た. うなぎを食べた. アキバに来たら毎回うなぎを食べているかもしれない. ブックオフのPS2コーナーを眺めてICOを1600円で購入した.

毎日ICOを少しずつ進めて、昨日の夜についにクリアした. 人と一緒に進めて、謎解きパートは結局ほとんど相手の人に解いてもらってしまった. 攻略サイトを見ないという制約を設けていたくせに、人に解いてもらってた.

ただの脱出パズル+アクションに、いわば足枷ともなる女の子の存在があるのが面白い. 女の子と手をつないでないとセーブもさせてくれないというのが良い. 情緒があって.

Thu 28 Oct 2021

13:14:44

自然発生言語学

2021/10/31

12時に起きた. いつもの小学校に投票に行った. 東京は一日雨だった. よく傘をさして投票に行ってる記憶がある. その足で江東試験場まで行って運転免許証の更新に行った. 日曜日にいくものじゃなかった. テーマパークのように混雑していた. 免許はついにゴールドになった.