今回のポイントは、「CONCUR 2015の論文は読んじゃダメ。必要以上に難しく書いてあるから。FSTTCS の論文を読んで!」である。 #ATVA
Retweeted by Masahiro Sakai
retweeted at 22:48:45
Stats | Twitter歴 6,170日(2007/05/09より) |
ツイート数 26,492(4.2件/日) |
表示するツイート :
今回のポイントは、「CONCUR 2015の論文は読んじゃダメ。必要以上に難しく書いてあるから。FSTTCS の論文を読んで!」である。 #ATVA
Retweeted by Masahiro Sakai
retweeted at 22:48:45
Population ProtocolのWell-SpecifiedとCorrectnessの問題をPetri-netの到達可能性判定に帰着する事で決定可能である事を示しつつ、問題を到達可能性判定問題に、更にPresburger算術式の充足可能性問題に帰着。 #ATVA
Retweeted by Masahiro Sakai
retweeted at 22:48:39
bookmarked: Foundational, Compositional (Co)Datatypes for Higher-Order Logic: Category Theory Applied to Theo... http://bit.ly/2exfngh
posted at 22:44:33
📹 グリーンバックを使った「CG合成シーン」まとめ動画。 ずっと見てると「グリーンバックの方が合成なんじゃないか?」と思えてくる不思議。... https://tmblr.co/ZUbQOy2DdnbVU
Retweeted by Masahiro Sakai
retweeted at 21:08:40
Daisuke Okanohara / 岡野原 大輔@hillbig
本日 TU-automotive 2016で深層学習が自動運転, Connected Carでどのように活用できるのかについて講演した資料を公開します。11p, 12pの映像からの車両検出、セグメンテーションは初出です。http://www.slideshare.net/pfi/tuautomotive-2016…
Retweeted by Masahiro Sakai
retweeted at 18:48:55
Daisuke Okanohara / 岡野原 大輔@hillbig
CEATECで展示したドローンを強化学習でコントロールするデモの詳細です https://research.preferred.jp/2016/10/ceatec2016-drone/…
Retweeted by Masahiro Sakai
retweeted at 18:48:46
今日のPFxセミナーのスライドをアップロードしました。終了後社内は「YAMLで言語作るのヤメロ!」「っていうか言語作りたいだけやん!」などの怒号が響いておりました(?)
http://www.slideshare.net/shoheihido/pmmlpfa…
https://www.youtube.com/watch?v=x76RxxQ_QTQ… https://twitter.com/preferred_jp/status/788900644325240832…
Retweeted by Masahiro Sakai
retweeted at 18:37:34
うちのチームは industry だったのか…
Retweeted by Masahiro Sakai
retweeted at 18:22:56
Industry session とかいうのがプログラムに書いてあったから何すんのかなー、とか思ってたら、うちのボスの発表だった時の顔してる。
Retweeted by Masahiro Sakai
retweeted at 18:22:49
@hyuki その場の目的に関係のない、身に備わった属性で判断され社会的に不利益を被ること、またそれを助長すること、が差別なので、線引きが難しい場合は、問題となった属性を持つ集団が社会的継続的に不利益を受けているか、その発言は不利益を固定化するか、等個別具体的に考えると良いです。
Retweeted by Masahiro Sakai
retweeted at 18:21:32
bookmarked: Practically Tunable Static Analysis Framework for Large-Scale JavaScript Applications (T): In 201... http://bit.ly/2elepoC
posted at 17:38:11
@masahiro_sakai FSTTCS の論文はこれか。 Model Checking Population Protocols https://www7.in.tum.de/um/bibdb/esparza/fsttcs16.pdf… #ATVA
posted at 17:06:41
@masahiro_sakai ペトリネットへの帰着は、言われてみればそりゃそうだという感じで、すごく素直なエンコードのような気がする。。 #ATVA
posted at 16:35:16
最後のチュートリアルの Verification of Population Protocols を聴いてるが面白い。別バージョンのスライド?: https://www7.in.tum.de/~esparza/Talks/CONCUR15.pdf… #ATVA
posted at 16:33:46
千葉大、厳しい https://pic.twitter.com/Qurm4WJf3W
Retweeted by Masahiro Sakai
retweeted at 13:01:04
@masahiro_sakai 部分回路合成の手法で回路のバグを修正しようとすると、その部分回路の入力信号が誤って配線されているとUNSATになるので、正しい入力信号を探す。修正しなくてはいけない箇所と関数性から最小カバー問題を解いて…… (よく理解できなかった) #ATVA
posted at 10:32:31
@masahiro_sakai 一番大きいので5千万超の変数と約6千8百万節のSAT問題になるものまで解けたとか。 すごいな。 まあ、conflict数が多くないので規模に比べて簡単な問題ではありそうだけれど。 #ATVA
posted at 10:08:34
@masahiro_sakai 制約に Faulty(In1,X)=NoFault(In1) ∧ Faulty(In2,X)=NoFault(In2) ∧ … を加えることで、すでに得られたテスト入力でカバーされていないfaultとテスト入力を生成して、列挙していく。 #ATVA
posted at 10:06:25
@masahiro_sakai 部分回路合成の次は全てのk-faultを検出するテストパターン生成をSATで。faultの活性化?を制御する変数列Xを導入して∃In1,X,Faulty(In1,X)≠NoFault(In1)で最初のテスト入力とfaultを生成。 #ATVA
posted at 10:04:16
@masahiro_sakai 2年前はQBFソルバ使うより、SATソルバ使った方がずっと良かったそうだけれど、この手法は Solving QBF with Counterexample Guided Refinement 的な実装のQBFソルバを使うのとは同等? #ATVA
posted at 09:41:37
@masahiro_sakai 部分論理合成(回路全体が正しくなるように穴になってる部分回路を埋める)を、∃∀の2-QBFになるので、SATベースCEGIS(counter-example guided inductive synthesis)で解くという話っぽい? #ATVA
posted at 09:36:51
チュートリアル一件目の Synthesizing and completely testing hardware based on templates through small numbers of test patterns を聞いている。 #ATVA
posted at 09:34:57
定時までがあなたの実力。超えたら恥入りつつ、仕事が残ってても帰る。スポーツ選手だって試合終わってからコートでシュート決めてもダメでしょ。
定時超えても人が残ってたらマネージメント失敗。管理者は残った人数分だけ無能と感じましょう。日本以外の世界、98%が賛同する常識らしいですよ。
Retweeted by Masahiro Sakai
retweeted at 08:02:16
Now you can call Haskell from Java, or Java from Haskell, more easily than Scala can manage http://blog.tweag.io/posts/2016-10-17-inline-java.html…
Retweeted by Masahiro Sakai
retweeted at 07:51:06
"A mathematician is a machine for turning coffee into theorems."
"A comathematician is a device for turning cotheorems into ffee."
Retweeted by Masahiro Sakai
retweeted at 07:42:03
haskellで書いたchip8エミュレータについて,呟いたことをwikiにまとめました.cf. https://github.com/jay-kumogata/MonadChip8/wiki…
Retweeted by Masahiro Sakai
retweeted at 07:39:13
bookmarked: SAFEWAPI: Web API Misuse Detector for Web Applications: In Proceedings of the 22Nd ACM SIGSOFT In... http://bit.ly/2eG6Z1B
posted at 00:52:45
Ichiro Hasuo 蓮尾 一郎@IchiroHasuo
Job description: http://www-mmm.is.s.u-tokyo.ac.jp/~ichiro/ERATO_MMSD_JobDescr.html… 学振落ちた人も,通った人も,もう少しシニアな方も,ぜひどうぞ
Retweeted by Masahiro Sakai
retweeted at 00:14:12