誰にも見えないブログ

雑なメモ。まとまってない文章等

最近のiOS!リンク長押しで勝手に開くなよ

詐欺の匂いがぷんぷんするがURL調べようと長押しすると ちっこいウインドウで勝手にアクセスされたw

topコマンドで実行されているプロセス名をフルで見る方法→cでフルネーム表示をtoggleできる

2807 yabu 20 0 597564 114328 82772 S 2.0 0.2 3:46.54 slack cキー押すと 2807 yabu 20 0 597564 114328 82772 S 1.8 0.2 3:46.70 /usr/lib/slack/slack --type=gpu-process --field-trial-handle=(略) serverfault.com

bashでバイナリの任意の箇所を切り出す

プログラムのデバッグの一貫としてtiffのexifをバイナリ単位で調べている。 レコードにオフセット的なメタデータの相対位置を書いてあるものが多いので、画像ファイルのこの箇所(先頭から何バイト目から何バイト分)がほしい! というシチュエーションがよく…

今日のC++:using指令,例外処理,クラス不変条件

C++

using指令:usinng namespace std的な構文のことをusing指令というらしい using宣言とも https://ja.cppreference.com/w/cpp/language/using_declaration どっちでもいいと思うけど、同じ概念っぽい クラス不変条件(invariant) コンストラクタでerrorをthrow…

hexdumpは-Cオプションで出力するエンディアンが変わる?

hexdumpの普通の出力はABCDという文字列は2バイトごとにリトルエンディアンになってるっぽい $ echo "ABCD" | hexdump 0000000 4241 4443 000a 0000005 が、hexdumpで-Cオプションつけると1バイトずつ表示できる(ビッグエンディアンに変わっている?) $ echo…

軽いギターはいらない

相変わらずrocksmithを懲りずにやっている。 本題だが、以前こういう記事を書いた。 yuyubu-sub.hateblo.jp が色々試しているうちに、私はギターのストラップを短くしすぎおり、椅子に座ってるくせに首だけでギターを吊って支えているような姿勢で演奏してい…

今日のC++:auto,nullptr,enum class等

C++

無謀にもStroustrupの本で勉強します。 main関数 helloworld 初期化=,{}どっち使う? autoキーワード imutableな修飾子 pointer enum class 他 冒頭~「2.4.1分割コンパイル」まで読みました。 検証コードはgithubにちょくちょく書いてます。 github.com main…

メイヤー オブジェクト指向入門読書ノート7

所要時間40分。前回からの続き yuyubu-sub.hateblo.jp 翻訳を原文に照らし合わせて確認などしたので進みが悪い 2.1 基準について 2.2 方法論と言語 2.2.20 メモリ管理とガベージコレクション 2.3 実装と環境 2.3.1 自動的な更新 2.3.2 迅速な更新 「2.2.20 …

cmake経由でmake実行時に-jオプションを渡す(未解決)→makeからninjaに乗る変える回

いい加減な理解で使ってるcmakeとの戦い。 MAKEFLAGS ninja 結局ninja 追記 10コアとかあるPCや100コア越えるメニーコアサーバー上で-jオプション使わずにビルドするとめちゃくちゃ遅い。cmake経由でmakeを実行するときは実行時引数か何かでしていするのかか…

今日の論理学:ウカシェヴィッツの古典論理批判・3値論理・排中律など

SQLのNULL的なやつ(ちょっと違うけど) そんな風に人間の限界を無視して背理法も排中律も使い放題で数学やっていると、今に痛い目に合うぞ。(p283) 3値理論 排中律¬A∨Aが必ず成り立つとは限らない(トートロジーではない)論理 真(1)・偽(0)・可能(0.5) 3値理…

今日の論理学:極大無矛盾集合の充足可能性補助定理の証明~APLの完全性証明

論理学をつくるは公理系の完全性証明まで読み切って無事三部(古典論理学パート)を読み切りました。 そこまでの感想とかは改めてメインブログの方に書こうと思います。 おさらい 前回は練習問題を解いただけなので内容の繋がり的には前々回からの続き。 yuyub…

日傘買った

今後は折りたたみ傘に一本化する 買った折りたたみ傘が1習慣で潰れた 同じものを再度買うのは負けな気がする 対強風な傘が兼日傘のものしかなかった。 ってなわけで買いました。 メリット どこでも日陰作れる すごい 表面が黒色、内側が銀色になっている 生…

ubuntu18.04でcmakeの最新versionを入れた

cmakelists.txtに登録されているminimu_requiredがインストールされてるcmkeで間に合ってない的なエラーがでた。 sudo apt installで入るversionには古いものしかなかった sudo apt removeでcmakeを削除し、以下の方法でインストールした。 askubuntu.com

電車でやたら他人のワイヤレスヘッドホン(beats)の接続を拾う

二回も俺の画面に割り込んできた 出来心でペアリングしてみようと思ったら、 「beatsとペアリングするには本体のボタンを5秒長押ししてください」的な表示が出た。 のっとれないみたいだ。

papa本第14回参加メモ

p.40 4行目 「Suppose〜」からp43 「〜NP-complete.◻️」まで読んだ。 次回はp43「2.6 CONFLICT SERIALIZABILITY冒頭から」 connpass.com Variable xiに対する割り当てとchoiseの関係 Fan-out variableのcopyとその接続。 右にcopy:trueの変項 左にcopy:false…

細胞培養試薬の広告

なぜかyoutubeにオススメされた。アンチエイジングとか健康用とかに使う怪しい健康商品かな?と思ったけどガチでバイオ系研究者が使うようなものらしい。 細胞培養試薬をお探しなら 探してねーよ 元動画 www.youtube.com

Macに新規ユーザー追加したら本垢のキーチェーンがぶっ壊れた(未解決)

2018年冬ごろの話。 解決もしてないし、再現手法も確立できていないけど、こういうことが身に起こったということをネットの片隅に書き残しておく*1 何が起こったか Mac上にアカウントを追加し、キーチェーンを設定したら同機体上の本アカウントのキーチェー…

映画:セブン

いやー面白かったです。あ、特に遠慮なくネタバレするのでダメな人は映画見てから読んでください。 七つの大罪にちなんで連続殺人が起こるというものです。 GLUTTONY(暴食) GREED(強欲) SLOTH(怠惰) LUST(肉欲) PRIDE(高慢) WRATH(憤怒) ENVY (…

はてなブックマークのスパム

なんかやたらお気に入り登録されるけど、誰からだろ?と思いつつプロフ見に行くと8割くらいがsex.ロシアのTLDみたいなドメインのurlを貼ってるスパムアカウント。sexの前後に数字がついたドメインが多い。sex6.とか。 私をお気に入りに登録している人は15人…

CMU 15-445/645 (FALL 2018)Database Systems - 02 Advanced SQL

例のかーネギメロン大学の講座。第二回は主にsqlが中心。 集約、文字列処理、時刻処理、サブクエリ、Window関数、CTE、再帰CTEなど。 シーケル SystemR というIBMの試作DBに初めて実装された Structured English Query Language→SEQUELが元になっている。 権…

映画:タクシードライバー

ネタバレ注意。久々に見返したけど、やっぱりよくわからい映画だ 夜景とタクシードライバーとジャズパート 上流階級の女性をナンパする(失敗)パート 政治家を暗殺しようとする(失敗)パート 娼館で大暴れ(大成功)してヒーローになるパート ベッツィーをなぜポ…

Jokerの予習として見る映画

twitterやwebで調べて、jokerと関連のありそうな作品を見てから、jokerを見に行きたいと思います。 お金がもったいないので、Amazonのprime videoで見れるやつだけみます(せこっw) (もちろん)ダークナイト3部作全て タクシードライバー○ カッコーの巣の上…

今日の論理学:練習問題83(補助定理44-2-2の前提がAPLで成立することの確認)

前回までの論理学 公理系APLの完全性を証明したい ヘンキンの定理を証明する必要がある 証明で使いたい補助定理をあらかじめ証明しておく 【補助定理44-1 リンデンバウムの補助定理(Lindenbaum's lemma)】→done 【補助定理44-2 極大無矛盾集合の充足可能性補…

postGISでgeometry typeの形状を維持しつつ領域拡張

メインブログの下書きに眠ってた技術メモを供養的に放出してみる。 おかしなことが書いてあったらコメントでガシガシ指摘ください。 select ST_GeomFromText('POLYGON((0 0, 0 1,1 1,1 0,0 0))'), ST_Expand(ST_GeomFromText('POLYGON((0 0, 0 1,1 1,1 0,0 0…

Lingvistで英単語の勉強を始めた

七誌さんのtweetで知りました。 lingvistでドイツ語学習を試してみた。割とスパルタ。日本語版ページは完全に商業化されていて、言語も英語しか選べず、別の言語へのリンクもないようだ。英語版ページから入らないと仏露独西が選べないので、英語以外が目的…

夢日記2019/11/01

先生?的な人に熱血アセンブリを貸してもらった。 中を見たらタブローが沢山書かれていた。 解説 論理学をつくるを最近読めていないので、忘れかけているということだろうか...

メイヤー オブジェクト指向入門読書ノート6

眠れない。。。40分ほどモクモク。ちょっと時間が空いたけど前回の続き。 yuyubu-sub.hateblo.jp ポリモーフィズム、抽象クラス、動的束縛など。オブジェクト試行らしさが出てきた。抽象クラスを暫定クラスという言い方は初めて見た。 確かに仕様策定時にメ…

CMU 15-445/645 (FALL 2018)Database Systems - 01 Relational Data Modelノート

※メインブログから引っ張ってきました。 buildersbox.corp-sansan.com このエントリーに影響を受けたので再開しようと思います。 以下本文。 TLの詳しい方が勧めていたのでちょっと見てみました。 DB はこの講義を受講すればかなり詳しくなれるよ✋(´・ω・`)…

映画:Gravitiy

amazon primeで見た。 宇宙事故からの帰還がテーマ 音響が素敵 無重力演出が素敵 宇宙ステーション火災で消化器を使って後ろに吹っ飛んで頭打つシーンが好き。 こういうのってどうやって撮ってるんだろうね。 ゼロ・グラビティという邦題は意味がわからない…

今日の論理学:極大無矛盾集合に成り立つ5つの同値関係の証明

これまでのおさらい 公理系APLの完全性を証明したい ヘンキンの定理を証明する必要がある 証明で使いたい補助定理をあらかじめ証明しておく 【補助定理44-1 リンデンバウムの補助定理(Lindenbaum's lemma)】→done 【補助定理44-2 極大無矛盾集合の充足可能性…