やっとAndroid Payが消えてGoogle Payだけになった
フォントに興味がない人にも知ってほしい、世にも奥深い「フォントの世界」 | ネットショップ担当者フォーラム 特選記事 | Web担当者Forum https://webtan.impress.co.jp/e/2018/04/25/29065
長崎市民のおたくにとっての生命線ことアニメイト長崎店も長崎県出身の月岡恋鐘さんに言及するPOPを貼っていた
デレマス長崎組、ラブアンドピースな有浦さん、アイドルになる前から芸歴があった組の一員でもある岡崎さん、クールで弱点がなさそうな木場さん
以前、とある九州のイベントにお誘いが来ていたのですが台風で流れてそれっきりというのがあり、日程に余裕が出てきたらこちらから接触しようかとも思っています
Coq/SSReflect/MathComp本、まだちょっと目を通しただけですが良書の気配がある気がするのでぜひチェックしてみてください
Coq/SSReflect/MathCompによる定理証明:フリーソフトではじめる数学の形式化 https://www.amazon.co.jp/dp/4627062419/
これです
精神がアレにならなくても人はいつ死ぬかわからないし、死んだら本棚にある本の目録が確実に公開されるような仕組みを整えて、紹介しそこねた本も名前だけは私が気にかけている本を気にかける人々に伝わるようにしておかないといけないという気がしてきたな
死後様々なものが隠滅される仕組みについて人々は気にかけているけれど、むしろ確実に公開される仕組みというのも必要なのではないか