昔2chで911テロの陰謀論の話になって（真珠湾攻撃的な意味合いで）自作自演説を支持したら、なぜか純粋水爆支持者のレッテルを張られたことあった。
イスラム原理主義者による航空機での体当たり自体は否定していなかったのだが、あたかも純粋水爆によってビルが破壊されたことを主張したかのように（おそらく故意に）受け取られて反論が上手くいかなかった。
もし議論を深めたいと考えるのだったらいきなり反論せずにいかにも同意するようなポーズを取ったりでもすればよかったのかもしれない。
まあ別に当時も今も他人の頭の中身にあまり興味はないので演技までして相手の考え方を変えようという欲求は沸いてこないが。
ただそういう嘘をつくテクニックというか、相手から自分を味方と思わせる素振りみたいな社会的なテクニックに疎くて子供の頃からずっと苦労してる気がする。
まず同意して（嘘をついて）相手を受け入れる、みたいな基本的な振る舞いすら出来てないんだよな。

というようなことを思い出したのはリビア洪水スレで

ここまで現実に気候変動の影響が大きく現れているのに、まだ信じてない人って脳みその容量はどれくらいなんだろう。

というような発言を見たからなんだよな。
ベンジャミンフランクリンの時代みたいだなあと思った。
「雷は神の怒り」という説明は教会や聖職者による搾取を肯定する為の言辞であってそれを危険を冒しながらも科学的方法論によって突破するから彼の挿話に感動を覚えるのだが、科学的であることを自任する人達が搾取を肯定する側に回った場合、我々はどんな方法論が取れるんだろうな。
フランクリンが雷は神の怒りではなく放電現象であることを雷雨の中で凧を飛ばして確かめたように我々も「温暖化」を反証可能なんだろうか？

おそらく反証は不可能でそれは自分が「温暖化」を懐疑する時、その「温暖化」が指すのはこれまでの観測事実から理由の付かない気温の上昇傾向そのものではなくて、それにこっそり付随させられている「誰かの利害となる悲観的未来予測」（脅し）とかその対策だと嘯く追加ルールのような科学的実在ではない社会的構築物だからだ。
温暖化懐疑説を攻撃したい人はその辺を使い分けて煙に巻くのが上手い気がする。
先の純粋水爆論法じゃないけど文脈によって「温暖化」が指すものを切り替えてるんだよな。
まあ動員ゲームになればその辺の切り分けをくどくど説明してふるいにかけるよりも不安を煽った方が効率的なのではあろう。

結局のところ「気候変動」や「温暖化」という語が何らかの問題解決に資するかというと、「信じない人」を排斥する程度の意味合いしかないような気がするんだよな。
発達障害ブームの時にも感じたけど人権後進国におけるいじめツールくらいの感じ。
脳の容量がどうたらとかそういう差別的な言辞を用いることを躊躇させない程度には立派な大義名分なんだろう。

いじめツールという言い方が悪ければゲームの追加ルールみたいな感じ。
最初からロケットランチャが使えるようなのではなくて、もう周回終わったけどもっとやりこみたい人向けに縛りのキツいルールが追加されるいわゆる縛りプレイみたいなやつ。
追加パック買わせる為の商売がみえみえで、「懐疑」という漢語よりは「萎える」というような感覚の方が近いかもしれない。

排気ポンプの件、PETボトルをつぶしたいというよりはこの間の電動ポンプ同様にある程度の気密性が求められる成型品を安価で提供できることへの興味だった。
日本の半導体が韓国に負けていったのも湯之上説では市場がメインフレームからPCになって求められる信頼性が従前より低下した際に、より安価に製造する方法を模索した結果として語っていた。
流体機械でも精度よりも安価であることを求める用途があって、その規模が十分であれば採算が取れる、ということなのだろうけれども。
ただそれは製造の技術というよりはニーズの掘り起こしであるとか営業とか経営の話になってきそうではある。
あまり関係ないかもしれないけど「自分は絵が下手だ」と思ってる漫画家が「もっと上手くなろう」みたいなことをつぶやいているのを目にしたが、商業で1冊出せてるなら別にその辺はいいんじゃないかなと思ったのにも似ている気がする。

コトブキヤがメガロマリアの予約開始してた。
15日の配信で日本国内製造での苦労を話していた。（01:12頃）
プラモに限らず試作関係でも中国は一気通貫でやってくれるというのは聞くし、その一方で日本の中小企業も加工技術自体はあっても付帯作業とのつながりが悪かったりで使いづらい見たいな話を耳にする。
また価格について武器屋の美プラと比べたら値頃感があると思うが、生産地の問題というよりはお顔のタンポ印刷がない分安いのではないかという意見があった。

メガロマリア定価5kは凄いわ…国内生産かつタンポ印刷無いとこれだけ安く出せるのか…

メガロマリア、プリンシパル予約ゥ！
国内生産だから安い！って言ってる人見かけますけど、いまってそんな感じなんですかね…？生産地よりはタンポ印刷ないから値段抑えられたのかなと思うんですけども

そういえば先日の北米Zカップ偽乳教師も正直問題がZカップにあるのか偽乳にあるのか教師であることにあるのかいささかよく分からないがひとまずZ乳どこで買ったんだろうと思って検索してたらアリババで600ドルくらいで売ってた。
なんかこういうニッチな欲望を即、金で解決みたいフットワークの良さは清々しさすら覚えるのだがどういった心の持ちようなんだろうか。
全ての中国人に出来る芸当でもないのかもしれないが、日本人とか韓国人が真似しようとして、そういったノウハウがもし備わったとしても環境（加工機の手配とか通関とか？）が揃わない気もする。

漠然とではあるが日本の製造業の未来像を思い描こうとしていた。

醤油注し探しにジョイフル本田で調理器具とか台所用品見て回ってたらPETボトルを潰すための手動排気ポンプ「吸いまっせ」が売られていた。
空気入れなら手動のものがスポーツ用とか自転車用であるけれど排気ポンプというのは珍しい気がする。
プラ製でちゃちな感じだったが値段も478円でそれなりなので試しに買ってみたらそれなりに面白かった。
陰圧式勃起補助具の代わりになるんじゃないかと思ったがVCD式カンキの後継にA&HBが新しく医療器具出してたんだな。

持って帰ってからパッケージを改めてよく見たら作ってるのは広島県安佐北区の八千代工業だった。
こういうアイデア商品なんかをよく作っていてテレビ新広島でも取り上げられたらしい。
資本金1400万円、社員400人弱だそうだが、この規模の会社でこういった値段の安いアイデア商品で儲け出していけるんだな。

なんかmakuakeでラーメン専用酢（スプラウトにんにく酢）のクラウドファンディングとかもやってたらしい。
ラーメンに酢を入れる人ってそんなにいるのか？

表紙に館山のヘリ祭出てて手に取った航空情報10月号に8月に小松基地へ来てたイタリア空軍の記事が載ってた。
空中給油機のKC-767は日伊で仕様が違うの知らなかった。
湾岸戦争でのトーネードIDSの空中給油失敗は関係あるんだろうか。
サウジ空軍のトーネードも空中給油失敗してたんだな。

ハセガワの1/200スケールプラモ見たらコロンビア空軍にも納入されてる感じだったが中古の767をイスラエルのIAIで改造したものらしい。
wikipedia英語版見たらインドもIAIから中古767改造の空中給油機調達するみたいな事書いてあった。
旅客機を空中給油機に改造するのにどれだけ手間かかるんだろ。
燃料ポンプを含む燃料移送装置とかその制御はともかく、やっぱりドローグとかフライングブームとかで飛行特性変わったりすんのかな。

こないだ自分の日記についたコメントがなんか気になった。

この手の問題って、こうやって考えたことが実際正しいかどうかの判断が難しいから好きじゃない

なんか出世しそうな人の意見だなあ、と思ったけど嫌味になってしまうか。
自分の場合は打った手の正しさの評価が難しいからと問題解決を回避したら自分の存在意義がなくなる気がする。
しかし問題解決をしないで昼間一体何をするんだ？と思ったが周りを見れば適当にお茶を濁して上司に取り入ったり子分作ったりしてるのか。
（こういう他者への態度が「人を見下している」と評価されるのか？）
まあでもそういう政治を身に着けた方が「よい」人生を送れそうな気がする。昇進もできるし。

その辺は政治信条の問題ではある。
結局自分が民主主義体制を一応支持するのは複雑な問題に対して解決の為に個人が力を発揮し、その至らぬところについて忌憚のない意見を交わすことによってより良い解が見つけ出せる体制だと思うからだ。
だから成功するか失敗するかに関わらず経緯は検証可能なように文書としてまとめて置くべきだと思うし、批判は文書に基づき具体的になされるべきであるとも思う。
ただ今の世の中を見れば文書を偽造し、統計を改竄してでも保身と身内への利益供与に奔走するべきなのも分かる。
そういう生き方も信心があればあの世で許されるのだろうか？

俺は技術者なんだと空威張りを続けるよりも、正直に生きても馬鹿を見るだけだと早く理解して、さっさとかつら作りでも追剥ぎでも始めた方がいいのか。
天に愧じぬ生き方などというのは金持ちの道楽か。

3種の数字で作られる4桁の数は何通りかの続きというか発展というか。
むしろ雪辱戦か？
というのもなんとなくgrep最強説で締めくくられた感じがあって、まあ実際そうなんだろうけれども、問題のスケールが小さいから実務的にそう解けるというだけのことであって、なんか納得いかない感じが残った。
5桁の場合であっても総当たりしてgrepで条件文重ねて絞り込めば簡単に解けて150通りであることは分かる。

perl -e "@g=grep{$_!~/[04-9]/ and /1/ and /2/ and /3/}('11111'..'33333');print $_+1,qq/\t$g[$_]\n/ for 0..$#g;"

ただ自分は2進数でマスクを取る方法に期待があってそれについて考えていた。
3種の数字で4桁の場合はそれほど問題なくて3種の文字を1度ずつ使って作られる順列

123
132
213
231
312
321

と、重複位置が記された2ビットのマスク

1100
1010
1001
0101
0110
0011

の組み合わせが6×6通りというのは理解しやすい。
ただこの時の順列とマスクの演算方法をどうすればいいのかは懸念として残った。
（ここは前回冒頭の手順(3)に該当すると思う。）
最左桁同士から積を取っていき、マスクに1が立っていたら掛けられる数を記憶しておき、次にマスクビットが立った時にそれを挿入する…？みたいなことを考えていた。
しかしそうすると5桁にした際に演算法が複雑になる。

3種の数字をすべて使った5桁の数を作る場合、同様に重複位置を示すビット列の表現は、4桁のように2ビットのマスク1枚というわけにはいかない。
重複する数字が1個の場合は3ビットのマスク1枚(例：数11123に対しマスク11100)、あるいは排他的な2ビットマスクを2枚重ねる（例：12123に対しマスク10100,01010）となる。
前回自分は後者についての考えが至らず「5桁になったら3進数にするのか？」という発言につながった。
そう考えると5桁の場合についても順列×マスクパターンで場合の数を算出することができるはずで、マスクパターンは25通りとなることが予想できる。
3ビットの場合、以下の10通りであるのはすぐに分かる。

11100
11010
11001
10110
10011
10101
01110
01101
01011
00111

排他的な2ビットマスク2枚の場合、以下の30通り(!?)が考えられる。

11000,00110
11000,00101
11000,00011
10100,01010
10100,01001
10100,00011
10010,01100
10010,01001
10010,00101
10001,01100
10001,01010
10001,00110
01100,10010
01100,10001
01100,00011
01010,10100
01010,10001
01010,00101
01001,10100
01001,10010
01001,00110
00110,11000
00110,10001
00110,01001
00101,11000
00101,10010
00101,01010
00011,11000
00011,10100
00011,01100

今のままでは6×(10＋30)＝240通りとなってしまうので誤りであることが予想される。
マスクビットの左側を順列の再左桁の重複、マスクビットの右側を順列の中間桁の重複とすれば、

11223＝123×(11000,00110)＝213×(00110,11000)

となるのでマスクビットは半分の15通りとなり辻褄が合う。
（ここで×は一般的な積ではなくてさっき4桁の時に決めたなんかふわっとした演算の演算子）

一応場合の数について計算は合ったが、この3ビットと2ビット×2枚のマスクを扱いをまとめられないかと考えていた。
昨晩思いついたのが3桁の数と5桁の数をそれぞれ3次元ベクトルと5次元ベクトルとしてそれらの線形変換として表す方法で、その線形変換は3次元の正規直交基底を5本並べて作る行列とすれば統一的に表現できる。
具体的には、123という3桁の数と11100というマスクを11123という5桁の数に関連づけるにあたって、

(1 2 3)

という3次元ベクトルと

((1 1 1 0 0)
  (0 0 0 1 0)
  (0 0 0 0 1))

という3×5行列の積として

(1 1 1 2 3)

という5次元のベクトルを得る。
排他的な2ビットマスク2枚の場合も、例えば123と(10100,01010)から12123を得ることを、同様に

(1 2 3)

と

((1 0 1 0 0)
  (0 1 0 1 0)
  (0 0 0 0 1))

の積として

(1 2 1 2 3)

と表せる。

というわけで変換行列を使う方法を考えてみたものの、その変換行列を生成する方法や変換行列の性質についてまではまだわからない。

(1 2 3)

を

(1 3 2)

に変換する行列

((1 0 0)
  (0 0 1)
  (0 1 0))

は直交行列だが、今回求めた行列もなんか群を構成したりするんだろうか。
正方行列じゃないから逆行列定義できないけど一般化逆行列とかでその辺分かったりするのかな。

win10でUSBマウス接続時にタッチパッドを無効化したかった。
スタートメニューから

スタートメニュー＞設定＞デバイス＞タッチパッド＞☑マウスの接続時にタッチパッドをオフにしない

のチェックを外せばよかったのだがここに至るまで悪戦苦闘していた。

autohotkeyでUSBの挿抜はOnMessage(0x219, )で検出できるので、それをトリガにタッチパッド無効化のショートカットキー（Fn＋ファンクションキー）を送ろうとしたが、スキャンコードがわからなかった。
同じくFn＋ファンクションキーに割り当てられている音量調整なんかはキャプチャできる。

掲示板ではmain.cpl呼び出しやComObjCreate("SynCtrl.SynAPICtrl")も提案されていたが和文でwin10でコマンドラインからdevconでタッチパッドを無効化してる人の記事を見つけたのでこれを真似することにした。
記事ではdevconのインストールをcabファイルから行っているが、chocolateyからdevcon.portableをインストールするのが簡単だと思う。
MSはdevconからpnputilへの置き換えを推奨していた。
pnputilは標準で入っていた。
devconがハードウェアIDを引数に取るのに対してpnputilはインスタンスIDを取るという違いがあった。

pnputilはCUI版デバイスマネージャ(devmgmt.msc)みたいなものでデバイスを列挙でき、

pnputil /enum-devices /class HIDClass

として列挙されたものからタッチパッド関連のものを目grepすれば、

インスタンス ID: HID\MSFT0002&Col03\4&1bccb33e&1&0002
デバイスの説明: HID 準拠タッチ パッド
クラス名: HIDClass
クラス GUID: {745a17a0-74d3-11d0-b6fe-00a0c90f57da}
製造元の名前: (標準システム デバイス)
状態: 開始
ドライバー名: input.inf

そのインスタンスIDを引数に取って無効化したり

pnputil /disable-device "HID\MSFT0002&Col03\4&1bccb33e&1&0002"

有効化したりできる。

pnputil /enable-device "HID\MSFT0002&Col03\4&1bccb33e&1&0002"

もちろんこれらの変更には管理者権限が要る。

スタートメニューから設定できることを知ったのでこの辺の知識は無駄になったのだが、インスタンスIDをデバイスマネージャから、

デバイスマネージャ＞HID準拠タッチパッドのプロパティ＞詳細＞デバイスインスタンスパス

と何度もクリックせずに知ることができるようにはなった。

他にもキー入力を始めたらタッチパッドを無効にするとかも見つけた。
みんないろいろタッチパッド周りで工夫してるんだな。

島根の小学生の学力が江戸時代以下スレは文章題の話だったが、小学校算数の文章題のレベルが江戸時代の算術に比べて高レベルだとは思えないので小学生のレベルが低いのではなくて教えてる教師が悪いんじゃないかと思ってしまう。
知事が教職員組合に配慮してそういったのか、あとは自分の偏見もあるのだろうが会見の該当部分を読もうと島根県HP行ったらなんか結構雰囲気違って「寺子屋の方がマシ」みたいな話に思えた。

理系人材とかって言ってるけど、こんな算数の状況で、何が理系人材だ、デジタル人材だ、ＳＴＥＭ人材だと。そんなことよりも、この算数できるようにしてくれよと、親からすると、おじいちゃんおばあちゃんからするとね。

まあ小学生の自殺も過去最多更新してるし、ギフテッド教育とか1/2成人式とかやってたらいいんじゃないですかね。

そんなことを考えていたら小学校1年生に加減算教えるのとかどうやってたんだろうと不思議になりだして数十年前の記憶を手繰っていた。
なんか鉄製のおはじき盤に磁石付きのおはじき並べて「ガッチャン」（加算）とか「すーっ」（減算）とかやってた気がする。
おはじきの目視（視覚）、オノマトペの発話（聴覚）、おはじきの操作（触覚）とかかなりの感覚を動員して加減算を叩き込まれてたんだな。
その手法そのものには感心するけど、言葉も未発達なエテ公40人から並べてそれらの入ってるかどうか確かでもない脳みそにALU作りこむ熱意とか考えてみると恐いな。
教師になろうという人にはそういう熱意が備わっているものなのかもしれないけど個人的にはどういう育ち方をしたらそういったものが培われるのか理解の及ぶところではない。

なんかのスレから静岡県警警察官犯罪スレの3種類の数字からなる4桁の10進数は何通りあるかの議論にリンク張られていた。
（COBOLスレからかと思って見直したけど見つからなかった）（追記：数学用大規模言語モデルスレだった。）
住居侵入に当たって指紋の残ったキーから4桁の暗証番号を割り出すにあたっての試行回数が、表題の議論として行われていた。
スレには36通り説と64通り説があったが自分で計算したら18通り 36通りだった。
ただこれも考えを進めていく内に72通り→54通りと減り、最終的に計算機で算出した18通りとした。（その後再計算して36通りとした。）

当初4桁の数を作るに際し手順を三分割して考えていた。
(1)3つの異なる数字を用いて3桁の数を作る（6通り）
(2)3つの数字の中から重複させたい数字を選ぶ（3通り）
(3)(2)で選んだ数を3桁の数の先頭、末尾または中間2か所のいずれかに差し込む（4通り）
としてこの積をとれば72通りではあるが、問題は(3)の手順が(2)と完全に分離できていない。
例えば、132という3桁の数の左端の1の左側に1を挿入した1132と132の1の右側に1を挿入した1132が重複する。
つまり重複を許すことで挿入位置候補が縮退して(3)は4通りではなく常に3通りとなる。
以上から6×3×3＝54通りと考えた。

ただこの時気がかりとして、この縮退を織り込んだ手順(3)の文言が思い浮かばなかった。
「(2)で選んだ数と注目している桁が同じ数だったら右側への桁への挿入動作を省く」みたいな条件分岐をすればいいのか？等々考えたが上手くいかなかった。
また3種の数字で作る4桁の数を今後発展させて行ってm種の数字で作るn桁の数としていったときにn-mが大きくなるにつれて縮退の度合いが強まり、この方法では手に負えなくなる気がした。
実際2種の数字で作る4桁の数を考える場合でも割と場合分けが面倒臭くなる。

なんにせよ実験で確かめれば済むことなのでPerlでスクリプトを書くことにした。
substrとか使ってちまちま書くのはやる気が出ないので、一気に候補の文字列を生成してからgrepで濾し取る方法で行くことにした。
四重ループを一行で書く技を使えば重複を許して4種の文字いずれかを用いた4桁の数を出力するワンライナは以下のように書ける。

perl -e "print join qq/\n/, <@{['{1,2,3,4}' x 4]}>"

3種の数字いずれかを用いて作られる4桁の数の場合はこれを少し変えて、

perl -e "print join qq/\n/, <@{['{1,2,3}' x 4]}>

とする。ここにgrepでフィルタを付加していくが、PCREにおける後方参照(\1,\2,...)と否定先読み(?!)を用いれば以下の3つの正規表現で書ける。
（(?!\1)(?!\2).で\1にも\2にもマッチしない文字。否定先読みはゼロ幅なので続けて書くことで論理積がとれる。）

/(.)\1(?!\1)(.)(?!\1)(?!\2)./     #1123, 1132, 2213, ...にマッチ
/(.)(?!\1)(.)\1(?!\1)(?!\2)./     #1213, 1312, 2123, ...にマッチ
/(.)(?!\1)(.)(?!\1)(?!\2).\1/     #1231, 1321, 2132, ...にマッチ

これらがそれぞれ6つずつ、合計18通りの文字列を受け付けることが分かった。
先ほど考えた54通りの1/3となったが、これまで過大に数え上げたいたのは132に2を挿入した1232と123の後尾に2を付加した1232を区別できていないからのように思える。

これらの3つの正規表現を|(論理和)でつないでいけば目的のフィルタが得られるかというとそうではなく今回後方参照を使うためにグループ化で捕捉（キャプチャ）しているが、これが論理和をとる度にインデックスがずれ、\1や\2が意図した位置からずれていく。
論理和をクラスタ（非補足グループ）として捕捉を括りだしたり名前付きキャプチャ等も試したが上手く書き下せず、posや(*MARK)や(*SKIP)といったバックトラック制御動詞を駆使しなければいけない問題かと悩んでいたが、結局ブランチリセットグループ(?|)を使うことで解決した。
perldocを何度も読んできたつもりだったがPerl 5.10から使えるこの機能を今回初めて知った。
論理和で括る際に非捕捉グループ(?:A|B)ではなくこのブランチリセットグループ(?|A|B)で括ることでORの分岐の際に後方参照で用いられるグループのインデックス番号がリセットされる。
長々説明したが、結局のところ3種の数字を用いた4桁の数を組み合わせを出力するワンライナは以下のようになる。

perl -e "print join qq/\n/, grep{/(?|(.)\1(?!\1)(.)(?!\1)(?!\2).|(.)(?!\1)(.)\1(?!\1)(?!\2).|(.)(?!\1)(.)(?!\1)(?!\2).\1)/}<@{['{1,2,3}' x 4]}>"

1123
1132
1213
1231
1312
1321
2123
2132
2213
2231
2312
2321
3123
3132
3213
3231
3312
3321

また2種の文字を用いてできる4桁の数は14通りとなる。

perl -e "print join qq/\n/, grep{/(.)\1{0,2}(?!\1)./}<@{['{1,2}' x 4]}>"

まともに考えると7つの正規表現の論理和をとらなければならなくなるが数の生成部で1か2しか出力せず（排中律）、長さも4桁と決まっているのでありえない入力を弾く正規表現を書かずに済むため短くできたように思う。

/(.)\1\1(?!\1)./
/(.)\1(?!\1).\1/
/(.)(?!\1).\1\1/
/(.)\1(?!\1).(?!\1)./
/(.)(?!\1).\1(?!\1)./
/(.)(?!\1).(?!\1).\1/
/(.)(?!\1).(?!\1).(?!\1)./

なんか偉そうに書きながら今気づいたが排中律をうんぬんするなら「ゾロ目を受け付けない正規表現」でもいいわけでこの場合もっと短く書ける。

/^(.)(?!\1{3})/

ただそういった正規表現の外側の条件を前提にすると一般化していった時に混乱しそうではある。
m種の数字で作るn桁の数(m<n)を受け付ける正規表現を書き下す為の一般的な方策とかも考えられるだろうか。
最大m-1個の後方参照が必要になりそう。

そんなわけで静岡県警部補の犯罪を契機にブランチリセットグループを新しく知り、PCREの否定先読みの使い方が少し上手くなった。

尾崎豊でもない。

本屋の雑誌棚見てたら扶桑社の『ドラマで学べるタイ語練習帳』を見かけたが中綴じ製本で1,650円も取るんだな。
アニメイトもタイBLフェアを9月末まで開催中らしい。
千葉劇場でも上映中のタイBL映画『卒業』の公開合わせなんだろうけどそんな人気なのか。
BS11とかでタイBL放送してたり界隈のタイ語学習熱等を伝え聞いてはいたがいやはや。
自分のタイ語への興味はneko jumpきっかけだったのでもう14年前か。
今また勉強するならニューエクスプレスか何かだろうか。
文字から覚えようとすると挫折しそう。（した）