krc
全て
名詞
16 の例文
(0.00 秒)
- ただし、KRC では、本来の集合ではなくリストによって実現している。
- KRCにおいてリストは遅延評価を実現するストリームとして実装されている。
- 加藤の話が終りに近づいたころ、KRCの会長藤沢久造のところに電話があった。
- トロワズィエーム・ディヴィジョン所属のKRCメヘレンで選手となった。
- ターナーがケント大学に移ってからはこの経験を生かして新たに言語を設計・実装したが、その言語がKRCである。
-
- 作者デビッド・ターナーによる以前の言語SASLやKRCの後継でもあり、またMLやHopeの影響も受けている。
- そのストリーム処理の延長として容易に実現できる機能としてKRCに実装されているのがツェルメロ=フレンケル集合演算機能である。
- その会議室の入口に、加藤文太郎氏講演会後援KRC・神戸登山会・神港山岳会と書いた案内立札があった。
- アブラティフはラジャ・カサブランカとハッサニア・アガディールでプレイした後にKRCメヘレンと契約をしたが、ハッサニア・アガディールは文書の発給を拒んだため、プレイすることはできなかった。
- 横浜市内でレーモンドが設計した建築物には、エリスマン邸やKRCビルディングなどがある。
- KRC は1980年代にケント大学やオックスフォード大学で関数型プログラミングの講義に使用された。
- ツェルメロ=フレンケルの公理系において、集合を内包表記で記述する場合、 と記述するが、この表記法をプログラミング言語に導入したのが、KRC の ZF 集合演算機能である。
- KRCはSASLの文法にさらに改良を加えた言語で、パターンマッチ、ガード、等式で表現された再帰可能な関数定義、ZF 表記を備えている。
- 新しいKRC2タイプのコントロールは、Windows XPオペレーティングシステムを使用している。
- ランニングクラブKRC主宰。
