PPL2023 カテゴリ1 の採択論文リストを掲載いたしました! https://jssst-ppl.org/workshop/2023/accepted.html… C3 [ポスター・デモ] の〆切は 2月1日 (水) 17:00 です.こちらもどしどしご検討ください!
Retweeted by Sosuke MORIGUCHI
retweeted at 18:40:33
Stats | Twitter歴 5,540日(2009/01/28より) |
ツイート数 251,432(45.3件/日) |
表示するツイート :
PPL2023 カテゴリ1 の採択論文リストを掲載いたしました! https://jssst-ppl.org/workshop/2023/accepted.html… C3 [ポスター・デモ] の〆切は 2月1日 (水) 17:00 です.こちらもどしどしご検討ください!
Retweeted by Sosuke MORIGUCHI
retweeted at 18:40:33
肝心の人間は指先が寒いだの足が冷えただの言っていた
posted at 18:31:24
まずsimulationの設定が妥当かよくわからんな...
posted at 17:40:30
(passengerの動きがよくわからん)
posted at 17:38:24
origin/destinationはバス停?
posted at 17:37:50
ミリグラムパーメートル?
posted at 17:33:19
指先はまだマシになったっぽいが、足下がやばい。
posted at 17:27:25
posted at 17:25:53
@nisizaki @titechcoop いいえけっこうです(棒
posted at 17:20:32
聞き損ねてたけどひょっとして言ってたかな?
posted at 17:19:36
union使ったら壊れそう。
posted at 17:18:44
@nisizaki > レジはセルフレジとなっており、「GakuPay(アプリ)」のみ対応しています。
posted at 17:17:32
@akky_piko あるじぇぶれいっくえふぇくと?
posted at 16:46:28
ブレ方が盛大だなあ、と思ったのが1点。TSanも同じだけどこっちも選択的ではないのかな?(にしてはぶれまくってるけど...)
あとは正常なデータフローはテキスト領域にあるのだろうか、という疑問。これはサイズが爆発しないのかな、と思った。(それでもASanより小さいのだろうけれど)
posted at 16:32:26
あれ、+αってなんだっけ...
posted at 16:21:06
保護する量を増やすと速くなってる??
posted at 16:02:37
なんで「破壊」の二文字から「脳」が連想されてしまうのか...どうなっているんだ俺は...
posted at 15:50:06
@akky_piko 辛口頼むから...(いや違うだろうけど)
posted at 15:43:07
MITMは百合の間に挟まろうとする野郎でしょ?
posted at 15:40:55
Kazutaka Matsuda@KazutakaMatsuda
PPL C1のnotificationを終えた.まだまだ仕事はあるが,一段落.主観的な評価となるが,PC議論は非常に充実していた印象だ.関係者に感謝
Retweeted by Sosuke MORIGUCHI
retweeted at 15:27:46
特課研のプログラムまだ出てないのか。
posted at 15:23:54
画面共有失敗してない?
posted at 15:19:20
滅茶苦茶高いのかな。
posted at 15:15:09
こういうのって、どのくらいネットワークに参入障壁を作ることを想定してるんだろう...?
posted at 15:14:59
https://twitter.com/webyrd/status/648210902068494336…
posted at 14:59:17
これtypeとvalの間の関係っているかな...?
posted at 14:34:44
miniじゃなかったか
posted at 14:31:42
ああ、今出てきた
posted at 14:30:15
POPLだっけ、miniKanrenでSchemeの意味論書いたやつ参照すれば良いのに。
posted at 14:29:33
ソフトウェアも出る検査...ちゃうねん。
posted at 14:16:49
いや結合則あるから決まるやん。
posted at 13:29:36
学生論文特集...うーん?
posted at 13:21:40
あれ、表記普通にRQのまんまか...自分の記憶違いだったかな...?
posted at 13:15:27
予定表にELSというのがあって、一体なんだこれ出てこないぞと思ってたが、European Lisp Symposiumか...
posted at 13:11:31
色々と逆な『ドアドア』。
インベちゃん(ピンクの娘)だけ、元の使用色「青」を「白」に変更したのが残念。
色々試したけど、自分の技量では難しかったよ…(汗) https://pic.twitter.com/oKtdtnZAaq
Retweeted by Sosuke MORIGUCHI
retweeted at 13:06:51
半環だと...2までは決まるのか。3は決まらないけど。
posted at 11:34:04
2回じゃないのかー(棒
posted at 11:24:04
ちなみに意地悪な質問は「backward解析が支配的に遅いのに、backward解析が有用な例が来ると時間は実用の範囲に収まるの?」というものでした。
posted at 11:21:36
時間余ってたら意地悪な質問しようかと思ったけどなくなったからいいや。
posted at 11:19:47
@nisizaki あれ、これエアコンついてるんですか?位置が悪いのかな...
posted at 11:18:23
エアコンうるさいけど切ると寒い...ぐぬぬ...
posted at 11:15:52
まあ「実際の型」を見る関係からすればそこまで劇的には変化しないだろうなあ。多少速度は速くなるだろうけど。
posted at 11:09:06
指先冷えてきたな...
posted at 11:05:13
どのくらいmergeしてるんだろ。
posted at 10:59:32
同じFPを二つに分けてしまったとかかな?
posted at 10:54:17
671、増えてるよな...?
posted at 10:53:35
def-useってprogram slicingとは発想がどの程度違うんかな...(ツール全体での再利用性とか?)
posted at 10:52:23
なんか学会名(と年)間違ってないかな...PyCG、ICSE2021って出てきたけど...
posted at 10:47:09
実行パスはある程度見ていそうだったので特に質問しなかった。繰り返しは1回展開と書いてたし。
posted at 10:43:34
@nisizaki こわっ...
posted at 10:39:03
コントロールフローはどこまで見てるんだろう...?
posted at 10:24:11
Moxaのときに先輩とうんうん悩んだっけな...
posted at 10:21:28
反例はSMTの出力を出してるのかなこれ...
posted at 10:19:10
@akky_piko すずかけ大学だからなあ
posted at 09:56:15
電源を引き回してなんとか確保
posted at 09:55:04
新横浜から乗れれば乗ってすぐ座れるのになあ、とか思ったりする
posted at 09:21:27
@sana_natori ナイトモードで夜は明けないと
posted at 08:19:18
G3棟は...あ、やっぱトンネルの向こうか。一番奥だな...
posted at 08:10:07
寒いな...
posted at 08:01:25
ニコ動の広告チケットを盛大に失った。(2525ポイント×3)
posted at 00:24:16