Yabu.log

ITなどの雑記

歯医者に通うようになった

歯医者に通うようになって変えたこと色々 きっかけ 一部のポッドキャストやネットの情報でアメリカ在住者が日本人の歯の意識が低いことを苦言しているのに影響を受けた。 そんな中、15年ほど歯医者に行ってなかったが現職への転職前の無職期間に時間があるう…

4Kディスプレイ(U2720QM)買った。USB type-cで接続・給電できていい感じ

コロナ渦でAmazonからdisplayの在庫が消えていたと思いますが、一昨日確認したら在庫があったので買ってみました。総評としてはかなりいい感じです。もっと早く買うべきだったと思ってます。 私がこだわった条件は USB type-cで接続できること ディスプレイ…

「そのオリーブオイルは偽物です」を読んだ

オリーブオイル産業の実態、というような感じでなかなか面白かったです。 3行で要約 ちゃんとしたオリーブオイルは美味しい 日本に出回ってる(エキストラバージン)オリーブオイルは偽物が多い あまりケチらず1L3000円くらいは出して書いましょう 本書の要点…

2ヶ月くらいApple Watch 5使った感想

Suica 近くにiPhoneなくてもsuica使える wifiあったらWatchだけでチャージできる スマホいらなくなるのでは? 改札とかで腕ひねってピットやってるのダサいって声あるけど、ポケットにて突っ込んでスマホ出すよりマシ 腕に財布がついてるのはデカイ。 と言い…

Scheduleをpolygraphに変換してVSR validationを行う方法

多分Polygraphについて書かれた2番目の日本語のエントリー。*1 polygraphとは compatible acyclic Pollygraph スケジュールをPolygraphに変換する方法 P(s)とcompatibleに必要なもう一つの制約 ScheduleからPolygraphを作成する具体例 ビジュアライズ 計算…

受付時間に5分遅刻してTOEIC受けられませんでした

試験会場が割と近場(所要時間25分)だったので15分くらいの余裕を見て自宅出発したが、謎の遅延により最寄り駅にて20分待ちました。走れば間に合ったが受付時間に5分遅れても試験開始には25分もあるし、受けさせてもらえるだろうと高をくくって歩いて会場へいく…

markdownがもっと捗るキーボード設定:全角入力時も記号はなるべく半角になるようにする

英語でMarkdownを書くときは割とスイスイ書けると思いますが、日本語で書く時はMarkdown構文用の記号(#や-)入力のたびにIMEを切り替える(全角/半角)必要があります。箇条書きに新しい項目を追加するたびにこの切替を押すのは面倒です。 yuyubu.hatenablog.com …

AirPods Pro買った:在庫薄だけど買う方法や感想等

第一世代のairpodsを2年以上使った ランニングと普段用でイヤホンを2台持ちたくない AirPoids Proで一本化したい。 Qi充電試したい。 2年使ったのでそろそろバッテリーがきになる を言い訳に買った。ふるいやつはメルカリで6000円くらいで売るか、家族にあげ…

C++に入門

C++

なんか色々やりすぎてる感じがありますが、業務でちょっとだけC++を読み書きする必要があり、ちょうど良い機会だと思ったのでC++に入門したいと思います。毎日は無理なので2日に一回くらいのペースで触ってサブブログの方にポストしていきたいです。 yuyubu-…

iPhone 8からiPhone11に買い替えた

そこまでほしかった訳じゃないけど、使ってたiPhone8のバッテリー持ちが悪くなったので買い換えました。 proにしなかった理由 カメラ 8から変えて良くなったところ faceid ホームボタンの廃止+画面が広い 微妙なところ ノッチ force touch廃止 上下が分から…

手ぶら通勤を一週間やってみた

手ぶら通勤を1週間やって見たみたので、その記録でも書きます。 rebuild fmに出てるhigeponさんの影響です。*1 持ち物 カバンを持たない 財布、携帯、メモ、文庫本のみ。 メモはJET ACEという背表紙に挿せるミニ鉛筆が付属するものを使ってる 本当はすぐロ…

Transaction,Concurrency ControlとAntichain

グラフのトポロジカルソート可/不可のみでアノマリーの検査やSerializabilityの判断をするのではなく、Order Theoryの知見をConcurrency Conntrolに活用しようという動きがあるらしい。そしてantichainというorder theoryの概念がわからなかったのでそのメモ…

Amazonにレビューの掲載を拒否されました

たまたま購入した商品のマーケットプレイスで偽物を出品している業者があとを絶たず、ページ内でメーカーが警告を書いているような異常な状態に出くわしました。 購入後に役立つ情報だろうと思い以下のようなレビューを投稿しました。*1 レビュー内容 偽物が…

Chrome拡張を使ってAmazonの検索ページから怪しい中華業者を一掃する方法

正規表現でアクセスするURLを変える拡張機能を使って、以下のページで紹介されているパラメータをURL末尾につけるように置換するだけです。 n-styles.com Redirector chrome.google.com 設定内容 From (https://www.amazon.co.jp/s\?.*) To $1&emi=AN1VRQENF…

Hadoopの勉強をはじめました。

Hadoopはレイテンシを犠牲にIOを分散させて高速なバッチ処理を実現する技術、という程度のことしか知りません。*1 今在籍している会社分散処理やメニーコアコンピューティング、Spark,Hadoopなどをコアにやってて、エンタープライズ用のHadoop関係のFramewor…

論理学をつくる練習問題80(2)解答

本に回答が乗っておらず、ネットに載せておく意義があると思ったので公開。 練習問題80(2)はND公理系(自然演繹)で式集合が矛盾するか、どうかの解答と矛盾していればそれを証明(自然演繹で示す)をする問題。 (a),(b),(c)とあるが式集合は全て矛盾しているた…

フィッチスタイルの自然演繹のやり方

完全に個人のメモ。復習+忘れた時に思い出す用。範囲としては論理学をつくるp214~p235。気が向いたら述語を自然演繹で導出対象にするやり方も書くかも。 導出線と前提棒 演繹規則 表記 前提規則(premiss rule:Prem) 繰り返し規則(rule of repetition: Rep) …

NPクラスのNondeterministic polynominal algorithmについて

4部作その3。組合せ最適化のページ(p422~423)の理解メモです。100回くらい同じページを読んだ結果、本書の記述だけだと不十分に感じたの類書を参考にしています。 組合せ最適化 第2版 (理論とアルゴリズム)作者: B.コルテ,J.フィーゲン,浅野孝夫,浅野泰仁,小…

PとNPについて

4部作その2。組み合わせ最適化第二版のp419~421の理解メモです。前回の決定問題の知識を前提に記事を書いています。 yuyubu.hatenablog.com 組合せ最適化 第2版 (理論とアルゴリズム)作者: B.コルテ,J.フィーゲン,浅野孝夫,浅野泰仁,小野孝男,平田富夫出版社…

ubuntu18.04で英字キーボード(101)キーボードを使う備忘録(主に日本語/英語切り替え)

日本語版ubuntuの英字キーボードのデフォルト設定に不満があったためカスタマイズしたかったが設定がわからりずらすぎて消耗したのでメモ 1.pkg-reconfigureでキーボードレイアウト設定 sudo dpkg-reconfigure keyboard-configurationで該当するキーボードを…

Amazonで新品の本を注文したら表紙が一部破損しているものが届いた

ちょうどブログのネタになるかなと思ったので半年ほど前にあったことを書き残しておきます。 経緯 買った本はWeikum本ことトランザクションの本です。 Transactional Information Systems: Theory, Algorithms, and the Practice of Concurrency Control and…

Transactionのinterpretation(herbrand semantics)について

herbrand semanticsのメモです。主にFSRを理解するための準備です。このエントリはChristos Papadimitrioupapa:Theory of Database Concurrency Control(通称papa本)の5~9ページのまとめです。 transactionとreadとwrite interpretation 同じentityへの各dat…

Effecitve SQLを読書会で読み終わりました

SQL

全16回でした。毎度木村@meijikさんの博識ぶりには驚かされる勉強会でした。 Effective SQL作者: John L. Viescas,Douglas J. Steele,Ben G. Clothier,株式会社クイープ出版社/メーカー: 翔泳社発売日: 2017/12/20メディア: 単行本(ソフトカバー)この商品…

ギター初日感想

20台後半で初めてのギターです。rock smith 2014というギターを繋げて遊ぶ音ゲーが面白そうだったので、ギターと一緒に買ったところゲームの同梱品が不足したため、遊べなかったので色々調べて家で一人で練習していました。 Rocksmith 2014 Edition Remaster…

NP問題における決定問題とはなにか

アルゴリズムの話をする際に良く出てくるPやNP、NP完全というものを一度きちんと勉強しておきたいと思いブログを書いていましたが、長くなりすぎたため4部作にしました(本記事はpart1)。本記事では下準備としてNP問題であるための条件「決定問題」というもの…

別パーティションのWindowsで使ってぃるディスクをubuntuにmount

ubuntuとwindowsをパーティションを分けたディスクで運用しているのでその知見でも書きたいと思います。 ubuntuからwindows側のパーティションにあるファイルを見たい場合はdiskをマウントして閲覧することができます。 windowsとubuntuが乘っているnvme win…

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

TLの詳しい方が勧めていたのでちょっと見てみました。 DB はこの講義を受講すればかなり詳しくなれるよ✋(´・ω・`) https://t.co/1cI6nxWZ9a— なゆたいむ (@nayutime) 2019年5月19日 15445.courses.cs.cmu.edu スケジュールを見るとかなり本格的でLogging,Co…

Theory of Database Concurrency Control Papadimitriou 読書会 第2回ノート

人身事故の影響で開始時間が遅れたため、あまり進んでいません(まだ1章を読み切っていない) P8 SchedulesからP12 Proposition 1.1まで読みました。 Schedules interpretationの拡張 Schedulers graph directed graph orderdとcycleの関係 様々なCycle knot T…

Theory of Database Concurrency Control Papadimitriou 読書会 第1回ノート

難しいけどなんとか付いていく感じです 前提 用語の定義等 entity read write transaction state integrity constraint consistent interpretation(Herbrand Semantics) classicalなconncurrency controlとの違い 議論 他 enumerable setとcounterble setの…

「ふつうのLinuxプログラミング 第2版」を読んだ

本書はシステムコールとlibcのAPIなどを使ったLinuxで動作するコマンドの作成を通して、 Linuxについて深く知ろうという趣旨の本です。 読んだきっかけ 雑感 include<stdio.h>を呪文とすることなく順序立てて初心者にも理解できるように解説している。 manコマンドの</stdio.h>…