Sunday, 22 April 2018

チョコレート

割と好きですが、明治のブラックかな。普段使いは。Godiva の四角いのも好きなんですけどね。でも、いうほど食べないという問題があり、この前の2月にもらったものも放置気味。

なんか封筒に入っているんですが、開けてみると割と意表を突いた感じ。サクサク感があるので、Kitcut みたいです。

Saturday, 21 April 2018

ご褒美ポータルな日

前回のIngress Mission で、まぁ、緑にやられてしまったわけですが、そのNovaのご褒美があるらしく。一応、緑にしか情報は落ちないはずなんですが、緑が集まっているところを見つければ良いだけなので。

  泡瀬の運動公園で12時から数人で探索〜

で、1時には見つかりました。4回ご褒美ハック。緑だけしか出ないなんてことはないので。緑と青と合わせて20人ぐらいかな。

浜浜リンクのではないので、まぁ、普通です。Inventry 空けるのにだいぶキーを消したが、重複を消すだけで十分でした。キーだけで1600あったからな。

まぁ、こんなことしていていいのか説もあるけど、まぁ、なんとかなるでしょう。

Friday, 20 April 2018

不織布とBDメディア

なんか、去年あたり Goodwill でいつも使っているElecomの48枚箱が売ってなくて。と思ったら、

  BD用のを新しく売ってる

どうも「不織布が細かくなりました」みたいに書いてあります。

ググってみると、

  不織布の模様がBDメディアに転写されて読めなくなった

なんて話が。2009年あたりから使ってるわけなんだけど、この前もチェックしたが得に不都合はないんだけど。そもそも、縦置きの箱で転写するほどの圧力がかかるはずないし。

というと別に不織布でも大丈夫みたいな話も。どうも、

  溶剤が残ってる不織布だとだめ

とかいう情報もあったり。

新しい不織布は,まぁ、確かに少し凸凹は少ない気がするが、

  そんなに差があるとは思えず〜

なので、昔から使ってるのはそのままでいいか。全部箱を買い換えたりするとメーカの思うツボ的な。

check と言うのはたまに重複したもの取り除いたりしてると順番が狂うので、箱に入ってるのをplaylistだけ読み出して html な目次にするってのをやってたりするからですね。

そもそもコピ1とかでバックアップを制限するから問題になるんだろとも思います。

あぁでも場所食ってきたんだよな。そろそろテラバイトなメディアでないの?

エレコム BD ファイルケース http://amzn.asia/cDv3rzo

Thursday, 19 April 2018

Open Source Conference のネタ

まぁ、毎年、ネタがないなか出してるんですけどね。

年末からLLVM/GCCやってたので、それでも出そうかなあ。それは x.v6 用にやってたので、それでもいいかな。

Agda やったり、TreeVNCやったり、去年は、

  cmake で聴衆一人をやらかしたり

ふむふむ。そういえば、

  Java9 の jigsaw と格闘

ってのもやったな。やぶれさりましたが。

締切り 4/23 らしいので、もう少し考えます。

Wednesday, 18 April 2018

Prolog

去年もblogで書いてるんですが、授業で教えた方が良いよなってことで1講義使ってるんですが、

  去年真面目に書きすぎた

らしく、ちょっと難しすぎたんじゃないのか? と反省気味です。まぁ、時間内には収まるんだが...

たぶん、節形式は命題論理の範囲内で扱って、面倒くさい部分はリンクで外に出して、

  シーケント代数部分の例題

を入れるようにすると良いかな。

Tuesday, 17 April 2018

Blog の勧め

自衛隊の日報が話題になってますが、

  Blog は読み返すと面白い

学生とかだと、そもそも書く練習をあまりしてない。なので、とにかく書けと。Twitter で意味不明なことをたくさん書くのも良いが、

読者は未来の自分

なんだよね。他人のブログは検索してみるくらい。なので、自分に向けて書く。

例えば、MBPの新規installした時に、

 あのソフトはどうやってinstallした? 設定どうした?

とかは、blog に書いておけば一発です。

自分が面白いと思ったことを書き留めるわけなので、自分がもっとも面白いと思うらしいです。自衛隊の日報でもそうですが、

 毎日ネタ探しするようになる

ということは、今日は何か面白いことあった? と考える。 あるいは、今日はなんか面白いことしよう(そしてblogに書こう)ということになります。これが結構いいと思う。

問題は Facebook は検索が実用的ではないということね。自分でサーバ建てて、そこで運用も良いけど、メンテも自分でするの? いや、やるけどさ。

 自分は Blogger (Blogspot)

使ってます。Google のサービスだな。なので、Ingress 関係は Blogger から G+ に publish してます。

Facebook とBloggerへのMHからのscriptによる同時投稿なので、人に勧められる方法でない所が残念。でも、Blogger からの連携方法はいくつかあるらしい。 Facebook からはzipで引き上げて、bloggerにAtomでuploadするというのが可能なはずです。(二度とやりたいとは思わないが...)

まぁ、Facebook の検索性がくそなので、Blog としては役に立たないってことではあるんですけどね。むしろ、その検索性の低さに安心する人もいるのかも知れないけど...

Sunday, 15 April 2018

Docker and Kubernates

いろいろあって久しぶりにいじってますが。といっても、去年のOSの課題でもトラブってるので、そんな昔でもないか。

Dockerは何故か、

  DBとWeb Serverを別コンテナで上げる

とかの信条があるらしく、細かいコンテナが沢山上がる。別に一緒にしても良いんですけどね。で、結局、

  細かいコンテナをまとめて管理する

ってのが必要で、それが Kubernetes らしいです。複数のサーバ上のコンテナを管理できるらしい。

便利そうだけど、なんかいろいろめんどくさい。Ansible script ないの?

一昨年の Docker container をいじったら、

  Failed to get D-Bus connection: No connection to service manager

とか言われる問題と少し格闘してました。/etc/rd 以下のscriptを起動すると勝手に sytemd が動くらしく、systemdが文句を言うらしい。

  systemd また、お前か?!

という感じ。docker --privledged /sbin./init とかすれば回避できるのだそうです。ふーん。他にもいろいろ疑問はあるが... ここまでかな。