Twilog

 

Stats Twitter歴
2,244日(2009/06/10より)
ツイート数
9,675(4.3件/日)

ツイートの並び順 :

表示するツイート :

2015年07月31日(金)4 tweetssource

14時間前

@tyamadajp

Taisuke Yamada@tyamadajp

いまなら画像センサも激安だし、遠くから流れてくる車の交通量まで認識して動く信号システム(兼監視カメラ)とかやってそうだな。

posted at 20:18:18

14時間前

@tyamadajp

Taisuke Yamada@tyamadajp

縦横が同時に青になる青青信号が見つかったらしいけど、そういや信号って集中制御なのだろうか?
隣接信号同士がセンサと一定ルールで自立分散制御した場合と比較してみたい。

posted at 20:15:54

7月31日

@tyamadajp

ユウタロス ECOモード中@bishop_ring

細かい数字すら「トップがメールで明確に指示」しなければいけなかった東芝の件は、この四半世紀で日本型組織最大のクソ文化である「忖度(そんたく)文化」が随分改善した事例だと思ってるよ。
90年代初頭ならとっくに誰か死んで誰がどう悪かったのかすら分かんなくなってるよ。

Retweeted by Taisuke Yamada

retweeted at 08:40:08

7月31日

@tyamadajp

ユウタロス ECOモード中@bishop_ring

うるさくトップに指示されるまで幹部が悪い事をやらなかったのは日本の大企業にとって大きな一歩だよ。
次のステップは悪い事をするように指示されたらみんな辞めて他の旗を仰いだ方が給料上がる人材マーケットの実現だね。

Retweeted by Taisuke Yamada

retweeted at 08:39:44

2015年07月29日(水)6 tweetssource

7月29日

@tyamadajp

かもめ@Mew_1406

Windows Xで起動確認したアプリ
※「起動」のみ確認

環境:ASUS S200E メモリ4GB HDD 500GB CPU Core i3-3217U

EAGLE:〇
KiCAD:〇
AtmelStudio:〇
DSMech:〇
MPLAB X :〇

Retweeted by Taisuke Yamada

retweeted at 21:50:05

7月29日

@tyamadajp

Taisuke Yamada@tyamadajp

formal verification通ったコンパイラは信頼できる→NO! Csmithはfuzzingで証明済のコンパイラの問題を見つけた→証明できてない部分があった

全部証明できたことは証明できないってことか…

posted at 20:16:54

7月29日

@tyamadajp

Taisuke Yamada@tyamadajp

数万行規模のMLコードの正当性が数万行のCoqで証明できるんだ。二回書けば証明付くなら是非やりたい人は多いのではないか。

posted at 19:55:56

2015年07月27日(月)2 tweetssource

7月27日

@tyamadajp

Taisuke Yamada@tyamadajp

阻止というより、これまでは「本当なら凄いが難解過ぎるし異質過ぎるし人生費やすことになりかねん…」だったのが、遂に総力挙げてガチ検証する所まで皆が動いたと。

posted at 07:16:19

7月27日

@tyamadajp

アニアニレオ@fromm_leo

「数学者の望月新一氏がABC予想について証明を提唱した事により、
フェルマーの最終定理をはじめ、凡ゆる方程式を用いた定理の最適解の証明者が彼の名前にすげ代わることを阻止するため、
世界中の数学者が集まって彼の証明を解く会を開くことになった」

のが昨日らしく、ワクテカ不可避。

Retweeted by Taisuke Yamada

retweeted at 07:09:57

2015年07月26日(日)3 tweetssource

2015年07月25日(土)2 tweetssource

7月25日

@tyamadajp

Taisuke Yamada@tyamadajp

前回の東京オリンピックは旧暦だったから、
今回のは来月になります。

とか誤魔化しても意味がないくらい現代は暑い。
湿度そのまま平均気温で5度位上がってる?

posted at 13:45:58

2015年07月23日(木)1 tweetsource

7月23日

@tyamadajp

齊藤明紀@a_saitoh

学生が社会に出てから「ちゃんと勉強したほうが良かった」と後悔するかもしれないが、彼/彼女に「大学の勉強なんて役に立たない」「バイトリーダーの経験のほうが就職面接で有利」などと助言した人が責任を取ってくれない事だけは100%間違いない。

Retweeted by Taisuke Yamada

retweeted at 14:51:43

2015年07月22日(水)7 tweetssource

7月22日

@tyamadajp

Taisuke Yamada@tyamadajp

カットオーバーを3月70日で年度内に間に合わせたことのない者だけが東芝に石を投げなさい。

…てなくらいに絶対自分の所でも用意に起こり得る、どこを見ても起こり得ると思う。

posted at 13:18:55

7月22日

@tyamadajp

だいず:偽物垢発生中スパブロお願いします@daizu1977

東芝の粉飾ニュース、『報告書持ってくと、これじゃダメやり直せと返される』わかるなぁ… 大昔へちょい上場企業に居たけど、前年度割ったものとか受理されない。で、現場ではしょうがないので『終わってない取引を売上計上』とか粉飾しないと帰れないの。東芝だけじゃないはずだよ

Retweeted by Taisuke Yamada

retweeted at 09:26:01

2015年07月21日(火)1 tweetsource

2015年07月20日(月)2 tweetssource

7月20日

@tyamadajp

Taisuke Yamada@tyamadajp

面白い。自分が「公平だ」と思っているルールや属性で学習させて、対象群から抽出したサンプルが同等の構成でなかったら何らかの不平等要因があると判定できるわけか。

posted at 10:10:28

2015年07月18日(土)2 tweetssource

2015年07月17日(金)7 tweetssource

7月17日

@tyamadajp

Taisuke Yamada@tyamadajp

国立競技場の白紙、本当にコンペからやりなおしなの?

それだと「俺の名案にもワンチャンあるか?」と魑魅魍魎が湧いてくるから、付け込まれる余地がなくなる程度まで選択肢絞るため引っ張ってるんだと思ってた。

posted at 21:43:30

2015年07月16日(木)25 tweetssource

7月16日

@tyamadajp

Taisuke Yamada@tyamadajp

今日プレゼンでTwitterは小さなウェブそのものですからという話があったが、togetterとかまで含めるとそうだな。

ニュース機能もフローを追えない人に間口を広げる目的で開発されたようだし、もっとストック化してニコニコ大百科的展開が可能なんではないか?

posted at 22:00:57

7月16日

@tyamadajp

Taisuke Yamada@tyamadajp

あるある。サイズとか頻度とかドメインとかでキャリア側が蹴ってるらしいのだけど、誰にどう直してと言うのかが悩ましくて困る。つかメール滅びろ。

posted at 21:43:54

7月16日

@tyamadajp

世紀末@erg48_nh

スマホが普及してからなんかメールが送れない人とかがいて困るんだけど…スマホのアドレスからガラケーにメールが届かないし……スマホのメールそもそも送れたり送れなかったりするし……ガラケーしかない頃はこんなことなかった……何もわからない……

Retweeted by Taisuke Yamada

retweeted at 21:41:21

7月16日

@tyamadajp

Taisuke Yamada@tyamadajp

自分の質問に近いデプロイ速度と切り戻しオペの工夫の質問が。毎日何度もマイクロデプロイしてそうだし、エラー検出と自動切り戻しとかも何かしてそう #insidetwitter

posted at 20:35:19

7月16日

@tyamadajp

Taisuke Yamada@tyamadajp

30s stand-up mtgは面白いな。
昨日したこと、したいこと、困ってることを各自30sで炙り出す。
普段の密な動きの上でホットスポットを炙り出し、その上で個別に1to1で巡回サポートと多段構えで回してる。 #insidetwitter

posted at 20:13:45

7月16日

@tyamadajp

Taisuke Yamada@tyamadajp

git-jira-confluence-hipchat-gerritみたいなワークフローでやってるよ。他にも王道な感じのもの色々。

チーム体制では担当間の配線やらマイルストーンのheadsup役など何でもする専属テクニカルマネージャーがいるのが特徴 #insidetwitter

posted at 20:10:01

7月16日

@tyamadajp

Taisuke Yamada@tyamadajp

エラーハンドリング。リトライ、リトライしても安全な冪等性、ユーザーへの失敗の適切な提示する機能、そしてユーザー状況に応じてタイムアウトや打ち切りをする処理。

posted at 19:48:49

7月16日

@tyamadajp

Taisuke Yamada@tyamadajp

中国が鎖国してる以上、言語的に日本がツイッターの最大市場になっていきそうな >セールスじゃなくて日本向け開発ガチでするよ

posted at 19:35:11

7月16日

@tyamadajp

Taisuke Yamada@tyamadajp

こういうの、事前の合意があると言っても

「お客様への公平なサービスのため、通信状況に応じフィルタリング等の処理を行う場合があります」

てな具合だったりするから契約時点で何が起こるか想像するのは普通は無理。

知識の非対称性を補うだけの明示「合意」義務は要るわな。

posted at 12:44:53

7月16日

@tyamadajp

VagabondWorks♘bot@VgbdWrks

最適化っていうのは、何に最適化してんのかってことだよね、ユーザーベネフィットに最適化してるんじゃなくて、事業者の財布都合に最適化してるだけでしょw

Retweeted by Taisuke Yamada

retweeted at 12:37:04

このページの先頭へ