Ceek.jp Altmetrics (α ver.)
  1. ホーム
  2. Twitter
  3. シャミノ

シャミノ (@syamino)

投稿一覧（最新100件）

1 0 0 0 論理型プログラムにおける同値関係の分析

自然言語，ポイントフリー / 『CiNii 論文 -  論理型プログラムにおける同値関係の分析』 http://t.co/iF7ZLeL1

15 0 0 0 IR ラムダ計算とそのモデル「カルテシアン閉カテゴリ」によるCOMMON LISPの解釈と新しい処理系 (<特集>関数型プログラミング)

ほれLisp×圏論だぞ / 『CiNii 論文 -  ラムダ計算とそのモデル「カルテシアン閉カテゴリ」によるCOMMON LISPの解釈と新しい処理系 (<特集>関数型プログラミング)』 http://t.co/YGnULHe7

2 0 0 0 OA 特集「プログラミングおよびプログラミング言語」の編集にあたって

やさしい / 『特集「プログラミングおよびプログラミング言語」の編集にあたって』 http://t.co/aUSWOVq7

2 0 0 0 OA 特集「プログラミングおよびプログラミング言語」の編集にあたって

やさしい / 『特集「プログラミングおよびプログラミング言語」の編集にあたって』 http://t.co/aUSWOVq7

2 0 0 0 OA 特集「プログラミングおよびプログラミング言語」の編集にあたって

やさしい / 『特集「プログラミングおよびプログラミング言語」の編集にあたって』 http://t.co/aUSWOVq7

2 0 0 0 OA 特集「プログラミングおよびプログラミング言語」の編集にあたって

やさしい / 『特集「プログラミングおよびプログラミング言語」の編集にあたって』 http://t.co/aUSWOVq7

2 0 0 0 OA 特集「プログラミングおよびプログラミング言語」の編集にあたって

やさしい / 『特集「プログラミングおよびプログラミング言語」の編集にあたって』 http://t.co/aUSWOVq7

2 0 0 0 OA 特集「プログラミングおよびプログラミング言語」の編集にあたって

やさしい / 『特集「プログラミングおよびプログラミング言語」の編集にあたって』 http://t.co/aUSWOVq7

17 0 0 0 OA プログラミング言語の新潮流

RT @_ko1: "これからの職業人としてのプログラマは，こうした形式的な体系とか論理とかが大事で，これをきちんと押さえた上でプログラミング能力をもたなければいけないと思います" http://t.co/NBFqyP5A 20年前から代わっただろうか．

17 0 0 0 OA プログラミング言語の新潮流

RT @_ko1: "プログラミング言語の新潮流" http://t.co/NBFqyP5A 凄い．今，こういう議論が見てみたい．PPL とかでこういうパネルがあったら見に行く．

43 0 0 0 カテゴリー理論的関数型プログラミング言語

プログラミング言語に興味ある人達にも，CPLはあんまり知られてない気がする。圏論とかチューリング完全じゃないとか作った人が日本人とか，目立つ要素はあるのにね / 『CiNii 論文 -  カテゴリー理論的関数型プログラミング言語』 http://t.co/CLhQCL8Y

43 0 0 0 カテゴリー理論的関数型プログラミング言語

読めるところだけ読んだ(n回目) / 『CiNii 論文 -  カテゴリー理論的関数型プログラミング言語』 http://t.co/CLhQCL8Y

1 0 0 0 並行計算の理論の最近の動向 :3. 線形論理に基づく並行計算モデル:並行計算の論理的理解の試み

並行システムの記述　線形論理か時相論理か？他にもあるのか？ / 『CiNii 論文 -  3.線形論理に基づく並行計算モデル : 並行計算の論理的理解の試み (<特集>並行計算の理論の最近の動向)』 http://t.co/YrbfZCO2

3 0 0 0 ソフトウェア工学の現状と動向:実行可能仕様に基づく変換プログラミング

第五世代プロジェクト周辺で研究されてたプログラム変換などの話 / 『CiNii 論文 -  実行可能仕様に基づく変換プログラミング (<特集>ソフトウェア工学の現状と動向)』 http://t.co/NRhys15q

3 0 0 0 擬データと関数による並行プロセス群の記述

Haskellな人には並行論理型言語を学ぶよりこっちの方がわかりやすいかも？ / 『CiNii 論文 - 擬データと関数による並行プロセス群の記述』 http://t.co/3b630OdP

6 0 0 0 OA 論理・制約プログラミングと並行計算(<特集>論理と推論技術の展開)

リアクティブプログラミングはどのような立ち位置なのかな？ / 『CiNii 論文 -  論理・制約プログラミングと並行計算(<特集>論理と推論技術の展開)』 http://t.co/wWxQLHKL

2 0 0 0 OA 名前通信プロセス計算の並行コンビネータ

コンビネータ論理と同じような事を並行計算モデルでやるらしい / 『CiNii 論文 -  名前通信プロセス計算の並行コンビネータ』 http://t.co/pBmorAqu

43 0 0 0 カテゴリー理論的関数型プログラミング言語

RT @zick_minoh: [カテゴリー理論的関数型プログラミング言語] http://ci.nii.ac.jp/naid/110003743564

6 0 0 0 OA 論理・制約プログラミングと並行計算(<特集>論理と推論技術の展開)

「並行論理プログラミングは，形式意味論に代表される理論計算機科学の技法に主導されるのでなく，むしろ処理系試作を通じた細部の検討と，言語仕様から導かれる性質や帰結の検討に主導されて，その設計が固まってきた．」http://ci.nii.ac.jp/naid/110006840401

6 0 0 0 OA 論理・制約プログラミングと並行計算(<特集>論理と推論技術の展開)

「手続き型並行プログラミングが難しい大きな理由は，制御依存性とデータ依存性の乖離である．「必要なデータが揃うまで待つ」というデータフローの考え方はこの乖離を解消する」　http://ci.nii.ac.jp/naid/110006840401

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

17 0 0 0 OA プログラミング言語の新潮流

"これからの職業人としてのプログラマは，こうした形式的な体系とか論理とかが大事で，これをきちんと押さえた上でプログラミング能力をもたなければいけないと思います" http://t.co/NBFqyP5A 20年前から代わっただろうか．

17 0 0 0 OA プログラミング言語の新潮流

"プログラミング言語の新潮流" http://t.co/NBFqyP5A 凄い．今，こういう議論が見てみたい．PPL とかでこういうパネルがあったら見に行く．

5 0 0 0 パラメトリック・ポリモフィズム

@chaton_haskell パラメトリシティは Theorems for free! http://t.co/R32hDVd と 「パラメトリック・ポリモルフィズム 」(長谷川 立) http://t.co/buz8wZv を読むといいかと。

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

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