技術メモ

５月２２日金曜日、曇りたまたま見かけたツイートに目の覚める思い。

論理学で『P⇒Q』は『¬P∨Q』と同値であると習う。これにまつわる解釈の混乱は後で書くとして、引用したツイートにある

“Don’t move or kill you”
「動くな、（そうじゃなきゃ）殺すぞ！」

これは

“If you move, I kill you”
「動いたら殺すぞ！」

と同じ。これ、そのままそっくり同

もっとみる

りょうじ

2020年5月20日 02:10

ようやくリクエスト

５月１９日火曜日、雨今日も一日降りつづく。よく降る。
そしてふと足元に忍びよる冷気をを感じる。暖かくなっているはずなのに、なぜか足にまとわりつく寒さが振りはらえない。気持ち悪い。

＊　＊　＊

ようやく。ようやくである。
ようやく WindowInsets の修正をプルリクエストに仕立てられた。
長かった。

わかってしまえば単純な仕組みだった。しかし前任者がカスタムクラス内に複雑な隠蔽をしてい

もっとみる

りょうじ

2020年5月9日 05:06

解けず

５月８日金曜日、晴れ昼は冷凍の坦々麺、夜は昨晩の肉豆腐の残りとバターチキンカレー。カレー粉があるとおもって油断していたところ、これが無く。ターメリック、コリアンダー、クミン、ガラムマサラを適当にまぜて味つけをしたけれど、これだという味が決まらずとても残念。
鳥もも肉は３時間、たっぷりのヨーグルトとスパイスでマリネしたんだけれどねえ。バターもしっかり入れたんだけれどねえ。残念。トマトの味が勝ちすぎた

もっとみる

りょうじ

2020年5月1日 03:26

Scoped Storage と DownloadManager

４月３０日木曜日、晴れ早めに切り上げるつもりが果たせずズルズルと仕事を続けてしまう。夕飯を作るつもりが、それもできず帰宅した妻が手早く豚の生姜焼きを作ってくれるのに任せてしまう。うう、自己嫌悪。

＊　＊　＊

お母さんにお弁当を持たせるんだと、こどもらは徹夜でサンドイッチ作りに勤しんだ模様。明日はハンバーガーを持たせるのだと、いまパテを作っている。なんともいじらしく可愛らしい。

＊　＊　＊

もっとみる

りょうじ

2020年4月29日 04:29

Android 10 でのメディア管理

４月２８日火曜日、晴れときどき土砂降り昼過ぎから夕方にかけて不思議な降りかたをしていた。雷まで鳴る始末。
これで巷間を騒がせているウィルスがきれいさっぱり洗い流されてどこかへ行ってしまえばいいんだけれど。

＊　＊　＊

Android 10 でのみ、カメラアプリで撮影した画像を設定できないバグを調べる。キナ臭い。どうやら外部ストレージを「ファイルパス」でアクセスすることは禁じられたようだ。

公

もっとみる

りょうじ

2020年4月15日 01:52

等式論理

４月１４日火曜日、晴れ昨日の大雨からうってかわって快晴。それでもなお自宅にて引きこもり。

いや、ほんとに先週から家の外に出ていない。そして家の外に出ていないことに苦痛を感じていない。根っからのインドア。こどもらも大丈夫なんだよなあ。社会性とは……。

＊　＊　＊

等式論理の証明補助ツールを作成中。

一般性を持たせるために置換を施したあとの型を Predicate にしているのだけれど、このせ

もっとみる

りょうじ

2020年3月6日 01:49

SAT ソルバーで数独を解く（２）

３月５日木曜日、晴れどうやら花粉がひどい。風も強かった。（風が強いから花粉の飛散も激しかったという流れが正しい？）

＊　＊　＊

バグを直し、確認用のビルドを仕掛け、その間に次のバグを直して……　とやっていたらブランチを新しくするのを忘れ出しておいたプルリクエストに別の修正のコミットを積んでしまう。
作業を並行してやりすぎて頭がウニのようになっている。ちょっとオーバーヒート気味である。休ませない

もっとみる

りょうじ

2020年3月5日 01:47

SAT ソルバーで数独を解く（１）

３月４日水曜日、小雨もう数年目のことになるか。
２５×２５サイズの数独を、自作のソルバーでは解けず悔しいおもいをしたのは。その後 SAT ソルバーというものを使うと解ける、という書き込みをどこかで目にしてずっと心に引っかかっていた。

こんなことをおもいだしたのは SMT ソルバーを使って証明器をつくるセミナーを５月に開催すると初谷さんから案内が来たから。（語感が似ていたので）

わからないのでち

もっとみる

りょうじ

2020年2月3日 01:42

表の表現

２月２日日曜日、晴れ朝まで──いや、昼まで。こたつに半身突っ込んだまま寝こける。床で寝ると体がバキバキに固まって痛いんだよねえ……。
疲れが取れていないせいか右目がよく見えない──気がする。たぶん気のせい。そういうことだ。

＊　＊　＊

気持ちを切り替えるために朝風呂。（昼です）
洗濯物を畳んで干し、豚汁と炊き込みご飯の残りで軽く朝食。（昼だ）
ふだんより早めに掃除機をかけアイロンがけ。妻が焼い

もっとみる

りょうじ

2020年1月10日 03:03

短絡評価と論理演算

１月９日木曜日、晴れ検証を止めているバグを直してほしいという要望に応えて修正。（直せてよかった）

ときに。
その修正にあたってフラグを操作するコードをこんな感じに書いていたんだけれど（Java）：

updated |= updateValueAndGetUpdatedCount() != 0;

仕様を調べて上記で期待したとおり動くこともわかったのだけれど。
よくよく読めば読むほど不安を覚える

もっとみる

りょうじ

2019年12月12日 01:22

YUV_420_888

１２月１１日水曜日、晴れ。ときどき雨会社を出たら降っていた。ええー、聞いてないよ！

＊　＊　＊

これは画像処理だ。昨日そうおもったので学生時代の（２０年以上前の）教科書をひっぱりだして職場に持っていく。残念なことに肝心のところは対象外だった。結局行き帰りに一冊分の重みを加えただけだったという悲しみ。

＊　＊　＊

Android カメラから取り込む画像データ。

生データは YUV_420_

もっとみる

りょうじ

2019年12月4日 02:14

『働きたくないイタチと言葉がわかるロボット』

１２月３日火曜日、晴れ言語学者がなにを研究しているのか。ぐうたらなイタチたちを主人公に据え言葉を研究する動物たちを訪ねさせ、それぞれなにができてその限界はどこにあるかを語らせるという筋立ての物語。

＊　＊　＊

「言葉が分かった」と言えるには、少なくとも何ができなくてはならないか。
「言葉が分かる」ということは、少なくとも「何と違う」のか。

・言葉が聞き取れること
・おしゃべりができること
・

もっとみる

りょうじ

2019年12月1日 02:50

デッドロック発見器をつくる（２）

１１月３０日土曜日、晴れ参加してきた。

同時に動く複数のプログラムの協調を「イベント同期」という仕組みをつかって見る、というもの。

イベント同期とは例えばプログラムＡがイベントＥを出して別のプログラムＢが同じイベントＥを出すまで待ちあわせるだとか、プログラムＡがイベントＥ１からＥ５までの五つを提示して待っているところにプログラムＢがイベントＥ２を出してＥ２を選択するだとか。
例えばと言いながら

もっとみる

りょうじ

2019年11月29日 01:58

並行合成

１１月２８日木曜日、曇りちょっとずつ土曜日の勉強会向けのコードを手直ししている。
今はこんな感じ。

並行合成の展開部分をずいぶんスッキリ書けたと自画自賛している。

＊　＊　＊

ところで途中、集合のリストの直積を計算する部分の表現を悩んでいる。いまのコードは計算する直積集合の元を「リスト」として表現して、その元のリストを直積集合としている。

実用上はこれで問題ないし、直積集合を考えるときに組

もっとみる

#日記

もし〜ならば

ようやくリクエスト

解けず

Scoped Storage と DownloadManager

Android 10 でのメディア管理

等式論理

SAT ソルバーで数独を解く（２）

SAT ソルバーで数独を解く（１）

表の表現

短絡評価と論理演算

YUV_420_888

『働きたくないイタチと言葉がわかるロボット』

デッドロック発見器をつくる（２）

並行合成