Ceek.jp Altmetrics (α ver.)
  1. ホーム
  2. Twitter
  3. [1..100]＞＞=pen

[1..100]＞＞=pen (@1to100pen)

投稿一覧（最新100件）

1 0 0 0 OA 関数プログラミングの実際 (<特集>関数型プログラミングと計算の基礎)

Ramanujan数の計算を関数（遅延）プログラミングする話はどの本に載ってたんだったか忘れていたが「コンピュータソフトウェア」だったか。 http://t.co/WfvyxNjWQl

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

18 0 0 0 OA SAT問題と他の制約問題との相互発展

「SAT問題と他の制約問題との相互発展」という論文がソフトウェア科学会の「コンピュータソフトウェア」誌に掲載されました。 http://t.co/gtl8bZb34B https://t.co/jHQtYXNGPu

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

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