トップ «前10日分 追記

はじめてのにき

ここの位置付け

2004|11|
2005|03|04|05|06|07|08|09|10|11|12|
2006|01|02|03|04|05|06|07|08|09|10|11|12|
2007|01|02|03|04|05|06|07|08|09|10|11|12|
2008|01|02|03|04|05|06|07|08|09|10|11|12|
2009|01|02|03|04|05|06|07|08|09|10|11|12|
2010|01|02|03|04|05|06|07|08|09|10|11|12|
2011|01|02|03|04|05|06|07|08|09|10|11|12|
2012|01|02|03|04|05|06|07|08|09|10|11|12|
2013|01|02|03|04|05|06|07|08|09|10|11|12|
2014|01|02|03|04|05|06|07|08|09|10|11|12|
2015|01|02|03|04|05|06|07|08|09|10|11|12|
2016|01|02|03|04|05|06|07|08|09|10|11|12|
2017|01|02|03|04|05|06|07|08|09|10|11|12|
2018|01|02|03|04|05|06|07|08|09|10|11|12|

ToDo:


2018-12-16

_ 次の質問をどうぞ

https://www.taro.org/2018/12/%E6%AC%A1%E3%81%AE%E8%B3%AA%E5%95%8F%E3%82%92%E3%81%A9%E3%81%86%E3%81%9E.php

あれは本当にガッカリする感じだったけど、「その質問には答えられませんという意味で「次の質問をどうぞ」と答えたのです。せめていつものように「お答えは差し控えます」と答えるべきでした。」とちゃんと書いてくれたのは良かった

まあいくつかの質問は別に答えられたんじゃ、という感はあるわけだけど

(00:23)


2018-12-15

_ let 多相

なんと言うのかわからないけど、制約があるということを教えてもらった。いや何か制約があるから型が決定可能になってる、みたいな話は何度か聞いたことがあるんだけど、具体的な例は(見たことがなかった|忘れてた)

# let choose x y = if true then x else y;;
val choose : 'a -> 'a -> 'a = <fun>
# let id x = x;;
val id : 'a -> 'a = <fun>
# let cii = (choose id) id;;
val cii : '_a -> '_a = <fun>

ここで cii は true ? id : id の結果なので、当然 id と同じものであって欲しい。 id はこういう感じで色んな型の引数を受けつけられる

# id 1;;
- : int = 1
# id true;;
- : bool = true

cii もそう期待したくて、

# cii 1;;
- : int = 1

よしよし、と true を適用すると

# cii true;;
Error: This expression has type bool but an expression was expected of type
         int

怒られる。ここで id と cii の型を見ると

# id;;
- : 'a -> 'a = <fun>
# cii;;
- : int -> int = <fun>

と、 cii の方は int に確定してしまっている。これが 'a と '_a の違いらしく、前者は ∀a がついてて、後者は ∃a がついてる感じぽい。

全ての型を受けつけられるけど、一回特定の型相手に使うと型が確定しちゃうものとして、 ref None とかがあるよ、と教えてもらった。

# let a = ref None;;
val a : '_a option ref = {contents = None}
# a := Some 3;;
- : unit = ()
# a;;
- : int option ref = {contents = Some 3}

なるほどねえ。型とかちゃんとやってる人には常識なんだろうけど、なるほどなあと思った

最後に id と cii は型が違うにも関わらず、比較ができてかつ true になる

# id == cii;;
- : bool = true

これはなんかちょっと違和感あるな…実体が1つしか無いのはそうなのだろうけど。

あと多相な関数の比較ちょっと面白いな…こういうことができるのね

# id;;
- : 'a -> 'a = <fun>
# let func x y = fun a -> y;;
val func : 'a -> 'b -> 'c -> 'b = <fun>
# id == func;;
- : bool = false

(19:50)


2018-12-12

_ 強くてニューゲーム

https://twitter.com/imos/status/1071956164554907649

https://twitter.com/takoratta/status/1072310507430969345

https://twitter.com/kotarok/status/1072337858319519746

これ、理解はできるけど、共感できないんだよなあ。

  • もちろん色々と総じて本当に良い環境だとは思う
  • 全てでうまくやっていたかというと全然そんなことはない
  • グーグルでうまくいくことが全て他で適用可能かというとそんなことはない

まあそりゃそんなことはみんなわかってて、新環境でも適用可能な美点は広めていきましょう、て話なんだとは思う。正解の「一つ」と言ってるのもそういう意識だと思うし。からまあ理解はできるんだけど

共感できないのはなんというか、全然違う正解を見てみたくもあるよなぁ、て感じかなあ

とか言いつつ、今日も abseil 押しとか hermetic 押しをしてしまってね……

(21:45)

_ edge

https://saneyukis.hatenablog.com/entry/2018/12/10/005530

いくつか眺めて、この記事が一番良かった。あとそこからリンクされてた

https://blog.mozilla.org/blog/2018/12/06/goodbye-edge/

を見て、まあたしかに脱 Chromium と Google search はアリかもなあとか思った。どっちから試そうか

(22:05)

_ 変節

MSにもしみじみ思うものがあるけど、小林よしのりがSPAに戻ってるのもすごい話だなと思う

https://nikkan-spa.jp/1532694

(22:40)

本日のツッコミ(全2件) [ツッコミを入れる]

_ morrita [Duck.com 記念に ddg にしよう! https://news.ycombinator.com/item?..]

_ shinh [了解です。よく考えるとパスワードマネージャでロックインされてる気がするのと、そういえばサーチに不満があったことを思い..]


2018-12-11

_ goog

少し前に全部売った。僕は基本もらった株はなるべくすぐ売る、という方針だった。売る派の論理として、「単純に同じ額の現金をもらったとして、あなたなら自分の会社の会社の株を買うのか?」というものがあり、僕もこの論理を信奉していたのだった。

在職中、リーマンショックから回復した後の株価は基本右肩上がりだったので、結果論としては、今までの売り判断は全て、正しくないものだったと言える(ごく最近のものはまだ結論が出てないけど)

で、記念に途中で一回も売らなかったら……というのを計算してみて、計算間違ってなければ3k万円くらいかわってないかコレ、てなった

(19:49)


2018-12-10

_ ECCploit

https://www.vusec.net/projects/eccploit/

やっと読んだ。途中に出てくる動画がすごくクール。メモリ抜き挿ししてて、ファミコンのテニスちゃうねんぞと

The final step がイマイチピンと来なかった。 rowhammer てもっと適当に確率的に flip するイメージだったのだけど、もともと、ダメな bit は叩けば確実に flip する、ていうような種類のものだった、てことなのかな

(21:04)


2018-12-07


2018-12-06

_ キャバレーフォーカード

http://run.tonyu.jp/yarex2/4card/index.html

これ面白いな…

(22:20)

_ はい Advent Calendar

https://adventar.org/calendars/3013

これ楽しみすぎるカレンダーだ…

(22:36)


2018-12-05

_ 東芝CSO

はやってるなぁ

https://twitter.com/tokoroten/status/1069779048199413760

たしかにこの発言はどうかとも思うんだけど、グーグルも偉い人は何も言ってないけどなんか言ったような気がする発言ばかりしてたイメージがあるので、まあ日本メーカーに特有のなにか……とかではないような気がする

(01:21)

_ netflix

https://www.gizmodo.jp/2018/11/netflix-way.html

企業文化というとこの記事、すごい面白かった

タイトルとか事前に聞いた話とかでは、昔の MS でイメージするような陰湿な過度の競争社会なのかな?て感じだったけど、全然陰湿でなかった。なんというか過度な競争社会 2.0 みたいな……

(01:23)

_ edge 訃報

https://www.windowscentral.com/microsoft-building-chromium-powered-web-browser-windows-10

なんだかすごい話だな

なんだか沈んだ会社だと思ってたのにまた Apple 抜いたってのもすごい話だと思うけど。なんか一時期の IBM みたいな不思議さがある

(01:35)


2018-12-03

_ SIGNATE

https://blog.shikoan.com/meti-ask/

kaggle で TSA がコンテストやってるみたいなの、日本でもあるといいんじゃないの、とか言ってたら日本にもあるみたいなこと言われて、これかと思った

しかし、この記事からとは、あまりよくない出会い方だった

(22:08)


2018-12-02

_ アーク

最初はダメージ入れなくて良い。デバフも無視してゲージ稼ぐ

  • アルクゥ: ホーリー*4超絶適当。
  • たまねぎ: 超絶ホーリーと超絶と壁更新、ホーリーとウララにたくす
  • レインズ: いかり*2メンブレバースト、あと適当
  • ウララ: プロテガテディア*2くらい、超絶、あと適当
  • ホープ: 壁、たたかう(ダメージ入れたくないので)、マディーン*3くらい超絶、あと適当

超弱移行時の時に超絶の更新をすると良い

(04:12)


2018年
12月
1
2 3 4 5 6 7 8
9 10 11 12 13 14 15
16 17 18 19 20 21 22
23 24 25 26 27 28 29
30 31
1.shinh(2018-12-13 02:54) 2.morrita(2018-12-13 02:32)
search / home / index

全てリンクフリーです。 コード片は自由に使用していただいて構いません。 その他のものはGPL扱いであればあらゆる使用に関して文句は言いません。 なにかあれば下記メールアドレスへ。

shinichiro.hamaji _at_ gmail.com / shinichiro.h