詐欺の匂いがぷんぷんするがURL調べようと長押しすると ちっこいウインドウで勝手にアクセスされたw
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
プログラムのデバッグの一貫としてtiffのexifをバイナリ単位で調べている。 レコードにオフセット的なメタデータの相対位置を書いてあるものが多いので、画像ファイルのこの箇所(先頭から何バイト目から何バイト分)がほしい! というシチュエーションがよく…
using指令:usinng namespace std的な構文のことをusing指令というらしい using宣言とも https://ja.cppreference.com/w/cpp/language/using_declaration どっちでもいいと思うけど、同じ概念っぽい クラス不変条件(invariant) コンストラクタでerrorをthrow…
hexdumpの普通の出力はABCDという文字列は2バイトごとにリトルエンディアンになってるっぽい $ echo "ABCD" | hexdump 0000000 4241 4443 000a 0000005 が、hexdumpで-Cオプションつけると1バイトずつ表示できる(ビッグエンディアンに変わっている?) $ echo…
相変わらずrocksmithを懲りずにやっている。 本題だが、以前こういう記事を書いた。 yuyubu-sub.hateblo.jp が色々試しているうちに、私はギターのストラップを短くしすぎおり、椅子に座ってるくせに首だけでギターを吊って支えているような姿勢で演奏してい…
無謀にもStroustrupの本で勉強します。 main関数 helloworld 初期化=,{}どっち使う? autoキーワード imutableな修飾子 pointer enum class 他 冒頭~「2.4.1分割コンパイル」まで読みました。 検証コードはgithubにちょくちょく書いてます。 github.com main…
所要時間40分。前回からの続き yuyubu-sub.hateblo.jp 翻訳を原文に照らし合わせて確認などしたので進みが悪い 2.1 基準について 2.2 方法論と言語 2.2.20 メモリ管理とガベージコレクション 2.3 実装と環境 2.3.1 自動的な更新 2.3.2 迅速な更新 「2.2.20 …
いい加減な理解で使ってるcmakeとの戦い。 MAKEFLAGS ninja 結局ninja 追記 10コアとかあるPCや100コア越えるメニーコアサーバー上で-jオプション使わずにビルドするとめちゃくちゃ遅い。cmake経由でmakeを実行するときは実行時引数か何かでしていするのかか…
SQLのNULL的なやつ(ちょっと違うけど) そんな風に人間の限界を無視して背理法も排中律も使い放題で数学やっていると、今に痛い目に合うぞ。(p283) 3値理論 排中律¬A∨Aが必ず成り立つとは限らない(トートロジーではない)論理 真(1)・偽(0)・可能(0.5) 3値理…
論理学をつくるは公理系の完全性証明まで読み切って無事三部(古典論理学パート)を読み切りました。 そこまでの感想とかは改めてメインブログの方に書こうと思います。 おさらい 前回は練習問題を解いただけなので内容の繋がり的には前々回からの続き。 yuyub…
今後は折りたたみ傘に一本化する 買った折りたたみ傘が1習慣で潰れた 同じものを再度買うのは負けな気がする 対強風な傘が兼日傘のものしかなかった。 ってなわけで買いました。 メリット どこでも日陰作れる すごい 表面が黒色、内側が銀色になっている 生…
cmakelists.txtに登録されているminimu_requiredがインストールされてるcmkeで間に合ってない的なエラーがでた。 sudo apt installで入るversionには古いものしかなかった sudo apt removeでcmakeを削除し、以下の方法でインストールした。 askubuntu.com
二回も俺の画面に割り込んできた 出来心でペアリングしてみようと思ったら、 「beatsとペアリングするには本体のボタンを5秒長押ししてください」的な表示が出た。 のっとれないみたいだ。
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
2018年冬ごろの話。 解決もしてないし、再現手法も確立できていないけど、こういうことが身に起こったということをネットの片隅に書き残しておく*1 何が起こったか Mac上にアカウントを追加し、キーチェーンを設定したら同機体上の本アカウントのキーチェー…
いやー面白かったです。あ、特に遠慮なくネタバレするのでダメな人は映画見てから読んでください。 七つの大罪にちなんで連続殺人が起こるというものです。 GLUTTONY(暴食) GREED(強欲) SLOTH(怠惰) LUST(肉欲) PRIDE(高慢) WRATH(憤怒) ENVY (…
なんかやたらお気に入り登録されるけど、誰からだろ?と思いつつプロフ見に行くと8割くらいがsex.ロシアのTLDみたいなドメインのurlを貼ってるスパムアカウント。sexの前後に数字がついたドメインが多い。sex6.とか。 私をお気に入りに登録している人は15人…
例のかーネギメロン大学の講座。第二回は主にsqlが中心。 集約、文字列処理、時刻処理、サブクエリ、Window関数、CTE、再帰CTEなど。 シーケル SystemR というIBMの試作DBに初めて実装された Structured English Query Language→SEQUELが元になっている。 権…
ネタバレ注意。久々に見返したけど、やっぱりよくわからい映画だ 夜景とタクシードライバーとジャズパート 上流階級の女性をナンパする(失敗)パート 政治家を暗殺しようとする(失敗)パート 娼館で大暴れ(大成功)してヒーローになるパート ベッツィーをなぜポ…
twitterやwebで調べて、jokerと関連のありそうな作品を見てから、jokerを見に行きたいと思います。 お金がもったいないので、Amazonのprime videoで見れるやつだけみます(せこっw) (もちろん)ダークナイト3部作全て タクシードライバー○ カッコーの巣の上…
前回までの論理学 公理系APLの完全性を証明したい ヘンキンの定理を証明する必要がある 証明で使いたい補助定理をあらかじめ証明しておく 【補助定理44-1 リンデンバウムの補助定理(Lindenbaum's lemma)】→done 【補助定理44-2 極大無矛盾集合の充足可能性補…
メインブログの下書きに眠ってた技術メモを供養的に放出してみる。 おかしなことが書いてあったらコメントでガシガシ指摘ください。 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…
七誌さんのtweetで知りました。 lingvistでドイツ語学習を試してみた。割とスパルタ。日本語版ページは完全に商業化されていて、言語も英語しか選べず、別の言語へのリンクもないようだ。英語版ページから入らないと仏露独西が選べないので、英語以外が目的…
先生?的な人に熱血アセンブリを貸してもらった。 中を見たらタブローが沢山書かれていた。 解説 論理学をつくるを最近読めていないので、忘れかけているということだろうか...
眠れない。。。40分ほどモクモク。ちょっと時間が空いたけど前回の続き。 yuyubu-sub.hateblo.jp ポリモーフィズム、抽象クラス、動的束縛など。オブジェクト試行らしさが出てきた。抽象クラスを暫定クラスという言い方は初めて見た。 確かに仕様策定時にメ…
※メインブログから引っ張ってきました。 buildersbox.corp-sansan.com このエントリーに影響を受けたので再開しようと思います。 以下本文。 TLの詳しい方が勧めていたのでちょっと見てみました。 DB はこの講義を受講すればかなり詳しくなれるよ✋(´・ω・`)…
amazon primeで見た。 宇宙事故からの帰還がテーマ 音響が素敵 無重力演出が素敵 宇宙ステーション火災で消化器を使って後ろに吹っ飛んで頭打つシーンが好き。 こういうのってどうやって撮ってるんだろうね。 ゼロ・グラビティという邦題は意味がわからない…
これまでのおさらい 公理系APLの完全性を証明したい ヘンキンの定理を証明する必要がある 証明で使いたい補助定理をあらかじめ証明しておく 【補助定理44-1 リンデンバウムの補助定理(Lindenbaum's lemma)】→done 【補助定理44-2 極大無矛盾集合の充足可能性…