ようこそゲストさん
ブログトップ
記事一覧
ログイン
無料ブログ開設
ひとり勉強会
雑談
|
YARV
|
目次
|
SICM
|
LUA
|
REAL
|
SAT
|
Coq
1900
|
01
|
2006
|
10
|
11
|
12
|
2007
|
01
|
02
|
03
|
04
|
2008
|
04
|
05
|
06
|
08
|
09
|
2009
|
01
|
02
|
2010
|
09
|
10
|
2011
|
11
|
1
2
古い50日分>
記事一覧
2011-11-11
[
Coq
]
VSTTE 2012 Software Verification Competition
2010-10-12
[
Coq
]
Coqの入門記事を書く会 (4)
2010-09-19
[
Coq
]
Coqの入門記事を書く会 (3)
[
Coq
]
自然数とリスト: Inductive (3.1)
[
Coq
]
自然数とリスト: rewriteなど (3.2)
[
Coq
]
自然数とリスト: 自動証明 (3.3)
[
Coq
]
自然数とリスト: 帰納法 (3.4)
[
Coq
]
自然数とリスト: 帰納法の色々 (3.5)
[
Coq
]
自然数とリスト: exists (3.6)
[
Coq
]
自然数とリスト: まとめ (3.7)
2010-09-14
[
Coq
]
Coqの入門記事を書く会 (2)
[
Coq
]
andとorとnot: ド・モルガン (2.1)
[
Coq
]
andとorとnot: カリーハワード (2.2)
[
Coq
]
andとorとnot: コンストラクタ (2.3)
[
Coq
]
andとorとnot: デストラクト (2.4)
[
Coq
]
andとorとnot以外のInductive (2.5)
[
Coq
]
andとorとnot: 次回予告 (2.6)
2010-09-02
[
Coq
]
Coqの入門記事を書く会 (1)
[
Coq
]
forall と -> (1.1)
[
Coq
]
forall と -> (1.2)
[
Coq
]
forall と -> : カリーハワード (1.3)
[
Coq
]
forall と -> : ゴールが２つ (1.4)
[
Coq
]
forall と -> : 仮定側の変形 (1.5)
[Coq] forall と -> : まとめ (1.6)
2009-02-09
[
SAT
]
充足と恒偽のあいだ
2009-02-08
[
SAT
]
SATソルバを作る会 (1)
2009-01-30
[
雑談
]
次回予告など
2008-09-15
[
XR
]
RealLib ソースコード勉強会 (1:終)
2008-09-09
[
XR
]
RealLib ではじめる誤差ゼロ実数計算
2008-08-23
[
雑談
]
次回予告
2008-06-24
[
LUA
]
レジスタマシンとスタックマシン
2008-06-08
[
LUA
]
LuLu 0.05 Released!
2008-05-16
[
雑談
]
LuaForge
2008-05-12
[
LUA
]
Luaソースコード勉強会 (4)
[
LUA
]
コルーチン
[
LUA
]
環境
[
LUA
]
おまけ：LuLu (4)
2008-05-01
[
雑談
]
Yueliang
2008-04-28
[
LUA
]
Luaソースコード勉強会 (3)
[
LUA
]
VM命令：演算子
[
LUA
]
VM命令：ジャンプ
[
LUA
]
VM命令：ループ
[
LUA
]
VM命令：クロージャ
[
LUA
]
VM命令：可変長引数
[
LUA
]
VM命令：まとめ
[
LUA
]
おまけ：LuLu (3)
2008-04-27
[
雑談
]
次回予告
2008-04-25
[
LUA
]
Luaソースコード勉強会 (2)
[
LUA
]
データスタックの構造
[
LUA
]
命令フォーマット
[
LUA
]
luaV_execute
[
LUA
]
おまけ：LuLu (2)
2008-04-24
[
雑談
]
とくになし
2008-04-17
[
LUA
]
Luaソースコード勉強会 (1)
[
LUA
]
データ構造
[
LUA
]
起動の流れ
[
LUA
]
おまけ：LuLu (1)
2008-04-04
[
雑談
]
_・) チラ
[
LUA
]
Luaソースコード勉強会(0)
2007-04-13
[
雑談
]
次
2007-04-12
[
SICM
]
SICM読書会(3)
[
SICM
]
1.6 How to Find Lagrangians
[
SICM
]
1.6.2 Systems with Rigid Constraints
[
SICM
]
ほげめも
2007-04-02
[
YARV
]
YARVソースコード勉強会 (15)
[
YARV
]
スレッド概要
[
YARV
]
スレッド初期化
[
YARV
]
スレッド切り替え
[
YARV
]
ブロッキング
[
YARV
]
まとめ
2007-03-25
[
雑談
]
■
2007-03-23
[
YARV
]
YARVソースコード勉強会 (14)
[
YARV
]
insns.def
[
YARV
]
おまけ: Scheme on YARV
[
YARV
]
まとめ
2007-03-05
[
YARV
]
YARVソースコード勉強会 (13)
[
YARV
]
th_eval_body:実行
[
YARV
]
th_eval_body:例外処理
[
YARV
]
まとめ
2007-03-02
[SICM] SICM 勉強会 (2)
[SICM] 1.4 Computing Actions (承前)
[SICM] 1.5 The Euler-Lagrange Equations
[SICM] まとめ
2007-02-11
[
雑談
]
■
2007-02-10
[
YARV
]
YARV ソースコード勉強会 (12)
[
YARV
]
データ構造とその初期化
[
YARV
]
実行開始
[
YARV
]
まとめ
2007-02-05
[
YARV
]
YARV ソースコード勉強会 (11)
[
YARV
]
特化命令(続)
[
YARV
]
set_sequence @ compile.c
[
YARV
]
set_exception_table @ compile.c
[
YARV
]
set_optargs_table @ compile.c
[
YARV
]
iseq_translate_direct_threaded_code @ compile.c
[
YARV
]
まとめ
2007-01-31
[
SICM
]
SICM 読書会 (1)
[
SICM
]
資料
[
SICM
]
1 Lagrangian Mechanics
[
SICM
]
1.1 The Principle of Stationary Action
[
SICM
]
1.2 Configuration Spaces
[
SICM
]
1.3 Generalized Coordinates
[
SICM
]
1.4 Computing Actions
[
SICM
]
まとめ
2007-01-26
[
YARV
]
YARVソースコード勉強会(10)
[
YARV
]
最適化の流れ
[
YARV
]
iseq_peephole_optimize
[
YARV
]
iseq_specialized_instruction
[
YARV
]
insn_operands_unification
[
YARV
]
iseq_insns_unification
[
YARV
]
set_sequence_stackcaching
[
YARV
]
まとめ
2007-01-12
[
雑談
]
あけましておめでとうございます
2006-12-24
[
雑談
]
ごあいさつ
2006-12-22
[
YARV
]
YARVソースコード勉強会(1-9)
[
YARV
]
YARVソースコード勉強会(9)
[
YARV
]
NODE_DEFN 等
[
YARV
]
alias
[
YARV
]
NODE_UNDEF
[
YARV
]
NODE_DEFINED
[
YARV
]
まとめ
2006-12-17
[
雑談
]
シンタックスハイライト
2006-12-15
[
YARV
]
YARVソースコード勉強会 (8)
[
YARV
]
NODE_SUPER
[
YARV
]
NODE_YIELD
[
YARV
]
NODE_RETURN
[
YARV
]
変数/定数読み取り
[
YARV
]
NODE_ARRAY
[
YARV
]
NODE_VALUES
[
YARV
]
NODE_HASH
[
YARV
]
NODE_DOT系
[
YARV
]
NODE_FLIP系
[
YARV
]
NODE_MATCH 系
[
YARV
]
BEGIN と END
[
YARV
]
NODE_OPTBLOCK
[
YARV
]
リテラル系
[
YARV
]
動的文字列＆正規表現
[
YARV
]
まとめ
2006-12-10
[
雑談
]
はてブ
2006-12-08
[
YARV
]
YARVソースコード勉強会 (7)
[YARV] 自己代入の注意点
[
YARV
]
NODE_OP_ASGN1
[
YARV
]
NODE_OP_ASGN2
[
YARV
]
NODE_OP_ASGN_OR 等
[
YARV
]
NODE_CALL 等
[
YARV
]
まとめ
2006-12-03
[
雑談
]
サティ
2006-12-01
[
YARV
]
YARVソースコード勉強会 (6)
[
YARV
]
NODE_AND ほか
[
YARV
]
代入いろいろ
[
YARV
]
NODE_MASGN / 多重代入
[
YARV
]
まとめ
2006-11-26
[
雑談
]
やーまに
2006-11-24
[
YARV
]
YARVソースコード勉強会 (5)
[
YARV
]
要注意な点
[
YARV
]
NODE_WHILE 再び
[
YARV
]
NODE_ITER, NODE_FOR
[
YARV
]
NODE_BREAK
[
YARV
]
NODE_REDO, NODE_NEXT
[
YARV
]
NODE_RETRY
[
YARV
]
NODE_BEGIN
[
YARV
]
NODE_RESCUE
[
YARV
]
NODE_RESBODY
[
YARV
]
NODE_ENSURE
[
YARV
]
まとめ
2006-11-20
[
YARV
]
YARVソースコード勉強会 (4)
[
YARV
]
NODE_CASE
[
YARV
]
NODE_WHEN
[
YARV
]
NODE_WHILE など
[
YARV
]
まとめ
2006-11-16
[
雑談
]
。。。。
2006-11-12
[
雑談
]
Tamarin
2006-11-10
[
YARV
]
YARVソースコード勉強会 (3)
[
YARV
]
スタックマシンとコンパイラ
[
YARV
]
poped 引数
[
YARV
]
各ノードのコンパイル
[
YARV
]
NODE_BLOCK
[
YARV
]
NODE_IF
[
YARV
]
node==nullの場合
[
YARV
]
compile_branch_condition @ compile.c
[
YARV
]
まとめ
2006-11-05
[
雑談
]
プラス１テーマ
1900
|
01
|
2006
|
10
|
11
|
12
|
2007
|
01
|
02
|
03
|
04
|
2008
|
04
|
05
|
06
|
08
|
09
|
2009
|
01
|
02
|
2010
|
09
|
10
|
2011
|
11
|
1
2
古い50日分>
