情報更新

last update 03/29 11:15

ツイート検索

 

@masahiro_sakai
サイトメニュー
Twilogユーザー検索

Twilog

 

@masahiro_sakai

Masahiro Sakai@masahiro_sakai

Stats Twitter歴
6,170日(2007/05/09より)
ツイート数
26,492(4.2件/日)

ツイートの並び順 :

表示するツイート :

2016年10月20日(木)28 tweetssource

10月20日

@tanimocchi

もっちぃ@tanimocchi

Population ProtocolのWell-SpecifiedとCorrectnessの問題をPetri-netの到達可能性判定に帰着する事で決定可能である事を示しつつ、問題を到達可能性判定問題に、更にPresburger算術式の充足可能性問題に帰着。 #ATVA

Retweeted by Masahiro Sakai

retweeted at 22:48:39

10月20日

@jun0inoue

Jun Inoue@jun0inoue

Industry session とかいうのがプログラムに書いてあったから何すんのかなー、とか思ってたら、うちのボスの発表だった時の顔してる。

Retweeted by Masahiro Sakai

retweeted at 18:22:49

10月20日

@anohana

Shiro Kawai@anohana

@hyuki その場の目的に関係のない、身に備わった属性で判断され社会的に不利益を被ること、またそれを助長すること、が差別なので、線引きが難しい場合は、問題となった属性を持つ集団が社会的継続的に不利益を受けているか、その発言は不利益を固定化するか、等個別具体的に考えると良いです。

Retweeted by Masahiro Sakai

retweeted at 18:21:32

10月20日

@masahiro_sakai

Masahiro Sakai@masahiro_sakai

@masahiro_sakai 部分回路合成の手法で回路のバグを修正しようとすると、その部分回路の入力信号が誤って配線されているとUNSATになるので、正しい入力信号を探す。修正しなくてはいけない箇所と関数性から最小カバー問題を解いて…… (よく理解できなかった) #ATVA

posted at 10:32:31

10月20日

@hajimeTwit

はじ@hajimeTwit

定時までがあなたの実力。超えたら恥入りつつ、仕事が残ってても帰る。スポーツ選手だって試合終わってからコートでシュート決めてもダメでしょ。
定時超えても人が残ってたらマネージメント失敗。管理者は残った人数分だけ無能と感じましょう。日本以外の世界、98%が賛同する常識らしいですよ。

Retweeted by Masahiro Sakai

retweeted at 08:02:16

このページの先頭へ

×