Ceek.jp Altmetrics (α ver.)
  1. ホーム
  2. Twitter
  3. 君津

君津 (@east_k1mitsu)

投稿一覧（最新100件）

1 0 0 0 制約に基づくハイブリッドシステムモデリング言語HydLaの宣言的意味論の拡張

明日JSAI2020で言語の意味論を修正してプログラムの等価性を証明した話をします〜 https://t.co/61xGWGnpQs

1 0 0 0 クイックソ-トの時間計算量の確率的解析

こういうのあるのね 読んでないけど CiNii Articles -  Probabilistic Analysis of the Time Complexity of Quicksort https://t.co/YnFUHDAImu #CiNii

お気に入り一覧（最新100件）

フォロー（267ユーザ）の投稿一覧（直近7日間）

フォロワー（268ユーザ）の投稿一覧（直近7日間）