マガジンのカバー画像

技術メモ

72
本
運営しているクリエイター
りょうじ
りょうじ

りょうじ

Android 10 でのメディア管理

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

＊　＊　＊

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

公

もっとみる
りょうじ

りょうじ

等式論理

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

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

＊　＊　＊

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

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

もっとみる