トップ «前月 最新 翌月» 追記

はじめてのにき

ここの位置付け

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|
2019|01|02|03|04|05|06|07|08|09|10|11|12|
2020|01|02|03|04|05|06|07|08|09|10|11|12|
2021|01|02|03|04|05|06|07|08|09|10|11|12|
2022|01|02|03|04|05|06|07|08|09|10|11|12|
2023|01|02|03|04|05|06|07|08|09|10|11|12|
2024|01|02|03|

ToDo:


2018-12-02

_ アーク

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

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

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

(04:12)


2018-12-03

_ SIGNATE

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

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

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

(22:08)


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-06

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

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

これ面白いな…

(22:20)

_ はい Advent Calendar

https://adventar.org/calendars/3013

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

(22:36)


2018-12-07


2018-12-10

_ ECCploit

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

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

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

(21:04)


2018-12-11

_ goog

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

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

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

(19:49)


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-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-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-17

_ Edge に対する嫌がらせ

https://news.ycombinator.com/item?id=18697824

たぶん、ハンロンの剃刀だろうなあとは思う、けど「Chrome で動けばとりあえずええやろ!」て雰囲気はもちろんあると思う。ある種、未必の故意みたいな感があるかもなあ

まあ独占的な強さになるての、こういう面はあるよなあ

独占禁止的な観点から言うと、独占的なアプリを持ってる企業は、他のアプリとの相互運用を確認する必要がある、みたいなルールが、あるべきなのかね。 Google Docs は SKK との相性が良くないことがあってけしからん……とか言う気はないけど

(23:56)


2018-12-18

_ 東大

流行ってるらしい

https://note.mu/tonoike0604/n/n611642c5f61c

https://note.mu/_katsura/n/n20df50ba1dc1

まあとりあえずそれは虐待だろという子供時代やな……

直接関係ないけど、

https://note.mu/s1ckbutpretty/n/na6c586132aac

は面白かった

(03:16)


2018-12-22

_ ロシア踊り

https://www.youtube.com/watch?v=bU2on24sI1s

すご

(15:50)

_ TVM level autodiff

https://github.com/dmlc/tvm/issues/1996

https://github.com/sgrechanik-h/tvm/commit/9ecd5c73eef1fffe645b07137b0e295a08519da8

割とシンプル。パフォーマンスが unacceptable てのはそうだろうなあ

(23:35)


2018-12-24

_ マンガ

マイホームヒーローが面白すぎた

のでそれ以外で今年読んで面白かったマンガを思い出すと、波よ聞いてくれ、卯月妙子全部、ミステリと言う勿れ、薫の秘話、あたり

あと引き続きヒストリエレイリとダンジョン飯とひなまつりは面白い。レッドとハイスコアガール終わったのはまだ今年か…

(03:38)

_ char8_t

https://qiita.com/yumetodo/items/54e1a8230dbf513ea85b

文字列ライブラリはあった方が良いと思うけど、プリミティブはchar型でいいじゃん、 ASCII 以外は2級市民でいいし、 Ruby 1.9 も Python 3 もバイナリ扱いにくくなった、と意識低い人間ですが

なんか絶賛されてる雰囲気だったのだけど、正直あんま論旨にピンと来なかったかなあ

欧米がーみたいな論調に違和感を覚えるからまともに読めないというのもあるのかもしれない。 wchar_t とか日本の人が多大な貢献をしてると K&R 日本語版の前書きに書いてあるわけで。。今となっては wchar_t とか黒歴史なのでしょうけど、それが欧米だけのせいかというとたぶん違うし、昔の誰かが間違ってたことをもって、現在も断罪してる感があって、ちょっとな

僕としては basic_string と wstring を捨てて、何からも継承せず byte 文字列しか扱えない string が欲しいです。あと iostream とかできれば全ての strxxx はデフォルトで全ての locale を無視してほしい。その上で気が向いたら国際化文字列クラスとかあったらいいと思うかな……いやなくてもいいかもしれない。よくわからないので、知らない

(04:02)

_ TVM / Halide

どうもこれ、基本的なとこは自分で作れるレベルな気がするんだよなあ。作りたくなる……が、やめた方がいいのだろうなあ

誰かマジメに一緒にやってくれる人がいたらいいんだけど

(04:04)

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

_ Mak [惑星9の休日もお願いします。。]

_ shinh [あまり印象に残らなかったですね……どっちかというと、そこから関連で飛んだ変身のニュースが]


2018-12-25

_ char8_t

https://naruse.hateblo.jp/entry/2018/12/24/013446

なるせさんが書いてた内容が、ずいぶんとしっくりきた

(01:57)

_ これが

https://twitter.com/ttuusskk/status/1076904199323971584

見たかったよね

(01:58)

_ 我らコンタクティ

をすすめてもらって、読んで、その後、これ好きならハックスとか映像研とかも好きですかねーとか言ってた

よく考えるまでもなくあまり似てないけど、どういう分類の仕方してるんだろう。なんか主人公が趣味に没頭してる感?

(02:01)

_ to_h

https://techlife.cookpad.com/entry/2018/12/25/110240

["Foo", "Bar"].to_h {|x| [x.upcase, x.downcase] }

を見て、これがアリなら to_s もブロック取っちゃダメなのかな、と思った

[1,2].map{|x|x**x}.join('')

[1,2].to_s{|x|x**x}

になるというような

(11:58)

_ 12x + 1 = 13

https://www.quora.com/If-12x-1-13-what-is-x

自明に見える問題でも、ちゃんと手順踏んで解いてないと、困るよ、て話かな。確かに一見で答えがわからないと答えられないという人がいる気がして、なるほどという感じ。

(22:12)


2018-12-26

_ 輪るピングドラム

dアニメストアというのが無料体験できるということだったので、仕事しながら横目で見てたのだけど、よくわからなかった

http://blog.livedoor.jp/kottori/archives/51934222.html

こんなにマジメな話だったのか…

(11:19)


2018-12-29

_ コント

https://ken-horimoto.com/20181228115315

ブログ自体はすごく面白く(funnyという意味で)読んだ。

で実際聞いてみた、ら、やはり事前の解説通りすごく面白い(funnyという意味で)。

ただなんか、後半まで聞いていくと、これなんか、CS関係のことで、コイツわかってないだろ、くらいに思うくらい、適当に喋っているというか、いい加減なことを言ってるような気がするところがところどころ。本当にわかってないかどうかはわからないが

なんにせよ、わかりやすく説明できるならするし、できないならなるべく頑張る、というのが良いことだと思ってるので、良くないな、笑ってる場合でもないのだろうか、とか思う

(02:49)


2018-12-31

_ 今年

なんか近年になく色々あったなー

良いこと楽しいことがとても多かったのが良かったことで、ただひとつ悪いことがあった

(16:50)


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-25 01:59) 2.Mak(2018-12-24 12:41) 3.shinh(2018-12-13 02:54)
search / home / index

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

shinichiro.hamaji _at_ gmail.com / shinichiro.h