Group items tagged language - SmartGuys

JetBrains :: Meta Programming System - Language Oriented Programming environment and DS... - 0 views

www.jetbrains.com/index.html

research programming macro

shared by Ken Wakita on 27 Jul 09 - Cached

Ken Wakita on 27 Jul 09

渡部卓雄先生から教わった Language Oriented Programming のためのメタシステムのサイト。荒井くんに調べてもらおう。

<div class="cArrow"> </div><div class="cContentInner">渡部卓雄先生から教わった Language Oriented Programming のためのメタシステムのサイト。荒井くんに調べてもらおう。</div>

...

Cancel

SASyLF: An Educational Proof Assistant for Language Theory - 0 views

www.cs.cmu.edu/SASyLF

programming theory tool software

shared by Ken Wakita on 30 Jul 09 - Cached

Ken Wakita on 30 Jul 09

LFやTwelfの流れを汲む証明系。証明木が見易いのが売りのようです。 [Types ML より] If you're planning to teach a programming language or logic foundations course and are thinking about using a proof assistant, you might consider SASyLF. SASyLF (Second-order Abstract Syntax Logical Framework) is an LF-based proof assistant that the same logical foundation and many of the same advantages as Twelf (in particular, variable binding is "built in"). However, it uses a syntax very close to that used for proofs on paper, giving the tool a much gentler learning curve--and much better error messages--than many alternatives.

<div class="cArrow"> </div><div class="cContentInner">LFやTwelfの流れを汲む証明系。証明木が見易いのが売りのようです。 [Types ML より] If you're planning to teach a programming language or logic foundations course and are thinking about using a proof assistant, you might consider SASyLF. SASyLF (Second-order Abstract Syntax Logical Framework) is an LF-based proof assistant that the same logical foundation and many of the same advantages as Twelf (in particular, variable binding is "built in"). However, it uses a syntax very close to that used for proofs on paper, giving the tool a much gentler learning curve--and much better error messages--than many alternatives.</div>

...

Cancel

Welcome to IEEE Xplore 2.0: Visual Languages, IEEE Symposium on - 3 views

ieeexplore.ieee.org/...conhome.jsp

research programming visualization

shared by Ken Wakita on 13 Oct 09 - Cached

Ken Wakita on 13 Oct 09

IEEE Symposium on Visual Languages のまとめサイト

<div class="cArrow"> </div><div class="cContentInner">IEEE Symposium on Visual Languages のまとめサイト</div>

...

Cancel

Repository for Citation Style Language (CSL) citation styles - 0 views

github.com/...styles

paper

shared by Ken Wakita on 08 Apr 17 - No Cached

Ken Wakita on 08 Apr 17

>8,000 の引用形式を .csl 形式で提供している．

<div class="cArrow"> </div><div class="cContentInner">>8,000 の引用形式を .csl 形式で提供している．</div>

...

Cancel

Open Directory - Computers: Programming: Languages: Visual - 5 views

www.dmoz.org/...Visual

research visualization programming

shared by Ken Wakita on 13 Oct 09 - Cached

A visual programming tool designated for easy and quick creation of applications for Windows 95/98/NT/2000
- Ken Wakita on 13 Oct 09
  
  吉永くん、これ読んどいて
  
  <div class="cArrow"> </div><div class="cContentInner">吉永くん、これ読んどいて</div>
  
  ...
  
  Cancel
...

Cancel

Ken Wakita on 13 Oct 09

Visual Programming 言語に関するまとめサイト

<div class="cArrow"> </div><div class="cContentInner">Visual Programming 言語に関するまとめサイト</div>

...

Cancel

Khronos OpenGL® Registry - 0 views

khronos.org/...index_gl.php

opengl

shared by Ken Wakita on 28 Feb 17 - No Cached

OpenGL 4.5 API Specification
...

Cancel
Core Profile Specification
...

Cancel
OpenGL Shading Language 4.50 Specification
...

Cancel
...1 more annotation...
GLSL Specification
...

Cancel

Ken Wakita on 28 Feb 17

OpenGL 関連の仕様書などが一望できる。

<div class="cArrow"> </div><div class="cContentInner">OpenGL 関連の仕様書などが一望できる。</div>

...

Cancel

CitationStyles.org - The Citation Style Language - open and free citation styles - 0 views

citationstyles.org

paper

shared by Ken Wakita on 08 Apr 17 - Cached

Ken Wakita on 08 Apr 17

さまざまな文献データベースに対応した文献リスト生成フォーマット

<div class="cArrow"> </div><div class="cContentInner">さまざまな文献データベースに対応した文献リスト生成フォーマット</div>

...

Cancel

言語実装パターン――コンパイラ技術によるテキスト処理から言語実装まで - 0 views

www.oreilly.co.jp/...9784873115320

programming language compiler book

shared by Takuya Yoshinaga on 21 Feb 12 - No Cached

Takuya Yoshinaga on 21 Feb 12

生協で見かけたオライリーの本。言語系の人向き。

<div class="cArrow"> </div><div class="cContentInner">生協で見かけたオライリーの本。言語系の人向き。</div>

...

Cancel

C++ vs OCaml: Ray tracer comparison - 0 views

www.ffconsultancy.com/...comparison.html

ocaml c++ literate programming

shared by Ken Wakita on 20 Oct 10 - Cached

Ken Wakita on 20 Oct 10

レイトレーサを C++ と O'Caml で書いた例。Literate programming のよい素材かも。

<div class="cArrow"> </div><div class="cContentInner">レイトレーサを C++ と O'Caml で書いた例。Literate programming のよい素材かも。</div>

...

Cancel

Computer Language Benchmarks Game - 0 views

shootout.alioth.debian.org

programming

shared by mana ten on 16 Jun 11 - Cached

mana ten on 16 Jun 11

いろんな言語のベンチマーク結果を比較

<div class="cArrow"> </div><div class="cContentInner">いろんな言語のベンチマーク結果を比較</div>

...

Cancel

Computer Science 732: Type Systems for Programming Languages (Fall 2008) - 0 views

www.cs.uwm.edu/...index-fa08.html

education programming theory

shared by Ken Wakita on 30 Jul 09 - Cached

Ken Wakita on 30 Jul 09

SASyLF を採用した CMU での型理論の講義実施例

<div class="cArrow"> </div><div class="cContentInner">SASyLF を採用した CMU での型理論の講義実施例</div>

...

Cancel

Symmetric Eigenvalue Problems: LAPACK Computational Routines | Intel® Software - 1 views

software.intel.com/...-lapack-computational-routines

lapack linalg

shared by Ken Wakita on 04 Jul 17 - No Cached

Ken Wakita on 04 Jul 17

対称行列を対象とする固有値計算API

<div class="cArrow"> </div><div class="cContentInner">対称行列を対象とする固有値計算API</div>

...

Cancel

Group items tagged