Enviar pesquisa
Carregar
Rubyでデータマイニング: RubyKaigi2007ライトニングトーク
•
0 gostou
•
647 visualizações
Y
Yamagata Yoriyuki
Seguir
Denunciar
Compartilhar
Denunciar
Compartilhar
1 de 11
Baixar agora
Baixar para ler offline
Recomendados
Boletin profesores
Boletin profesores
Hector Luengo Rodriguez
Bauhaus
Bauhaus
crishenriquesmark
Comentari de text (presentació)
Comentari de text (presentació)
saraferdez
Positioneringstabel beleggen juni 2013
Positioneringstabel beleggen juni 2013
bas brommet
Ekainaren gonbidapena
Ekainaren gonbidapena
TRUKEME. CENTRO DE RECURSOS EN JUEGOS COOPERATIVOS
Empresarial trabalho 22 11
Empresarial trabalho 22 11
Clarissa Lopes
Historia das artes
Historia das artes
Filipe_Carvalho
Tarea reciclaje
Tarea reciclaje
tavomed
Recomendados
Boletin profesores
Boletin profesores
Hector Luengo Rodriguez
Bauhaus
Bauhaus
crishenriquesmark
Comentari de text (presentació)
Comentari de text (presentació)
saraferdez
Positioneringstabel beleggen juni 2013
Positioneringstabel beleggen juni 2013
bas brommet
Ekainaren gonbidapena
Ekainaren gonbidapena
TRUKEME. CENTRO DE RECURSOS EN JUEGOS COOPERATIVOS
Empresarial trabalho 22 11
Empresarial trabalho 22 11
Clarissa Lopes
Historia das artes
Historia das artes
Filipe_Carvalho
Tarea reciclaje
Tarea reciclaje
tavomed
ヴォイニッチ手稿についての個人的まとめ
ヴォイニッチ手稿と私
ヴォイニッチ手稿と私
Yamagata Yoriyuki
Scala関西サミット2015のスライド
Scalaによるドメイン特化言語を使ったソフトウェアの動作解析
Scalaによるドメイン特化言語を使ったソフトウェアの動作解析
Yamagata Yoriyuki
Slides for LCC'15
Consistency proof of a feasible arithmetic inside a bounded arithmetic
Consistency proof of a feasible arithmetic inside a bounded arithmetic
Yamagata Yoriyuki
モデル検査の紹介と事例
モデル検査紹介
モデル検査紹介
Yamagata Yoriyuki
We implement a runtime verification framework based on CSP
Runtime verification based on CSP
Runtime verification based on CSP
Yamagata Yoriyuki
CSPを用いたログ解析その他最近考えていること
CSPを用いたログ解析その他
CSPを用いたログ解析その他
Yamagata Yoriyuki
In this paper, we prove that S12 can prove consistency of PV−, the system obtained from Cook and Urquhart’s PV by removing induction, but retaining the substitution rule. Previously it is only known that S12 can prove PV- without the substitution rule
Consistency proof of a feasible arithmetic inside a bounded arithmetic
Consistency proof of a feasible arithmetic inside a bounded arithmetic
Yamagata Yoriyuki
In this paper, we prove that S21 can prove consistency of PV−, the system obtained from Cook and Urquhart’s PV [3] by removing induction. This apparently contradicts Buss and Ignjatovi ́c [2], since they prove that PV ̸⊢ Con(PV−). However, what they actually prove is unprovability of consistency of the system which is obtained from PV− by addition of propositional logic and BASICe-axioms. On the other hand, our PV− is strictly equational and our proof relies on it.
Consistency proof of a feasible arithmetic inside a bounded arithmetic
Consistency proof of a feasible arithmetic inside a bounded arithmetic
Yamagata Yoriyuki
Camomileとucorelibの話
OCamlとUnicode
OCamlとUnicode
Yamagata Yoriyuki
CSPによる並行システムの検証(2)
CSPによる並行システムの検証(2)
Yamagata Yoriyuki
CSPによるコンカレントシステムの検証(1)
CSPによるコンカレントシステムの検証(1)
Yamagata Yoriyuki
Presentation at CTFM (Computability Theory and Foundation of Mathematics)
Bounded arithmetic in free logic
Bounded arithmetic in free logic
Yamagata Yoriyuki
Bounded arithmetic in free logic
Bounded arithmetic in free logic
Yamagata Yoriyuki
UML&FM 2012
UML&FM 2012
Yamagata Yoriyuki
Translating STM to CSP
Translating STM to CSP
Yamagata Yoriyuki
Camomile - OCaml用Unicodeライブラリ
Camomile - OCaml用Unicodeライブラリ
Yamagata Yoriyuki
Camomile : A Unicode library for OCaml
Camomile : A Unicode library for OCaml
Yamagata Yoriyuki
Google 日本語入力 TechTalk 2010
Google 日本語入力 TechTalk 2010
Yamagata Yoriyuki
CamomileでUnicode
CamomileでUnicode
Yamagata Yoriyuki
Mais conteúdo relacionado
Mais de Yamagata Yoriyuki
ヴォイニッチ手稿についての個人的まとめ
ヴォイニッチ手稿と私
ヴォイニッチ手稿と私
Yamagata Yoriyuki
Scala関西サミット2015のスライド
Scalaによるドメイン特化言語を使ったソフトウェアの動作解析
Scalaによるドメイン特化言語を使ったソフトウェアの動作解析
Yamagata Yoriyuki
Slides for LCC'15
Consistency proof of a feasible arithmetic inside a bounded arithmetic
Consistency proof of a feasible arithmetic inside a bounded arithmetic
Yamagata Yoriyuki
モデル検査の紹介と事例
モデル検査紹介
モデル検査紹介
Yamagata Yoriyuki
We implement a runtime verification framework based on CSP
Runtime verification based on CSP
Runtime verification based on CSP
Yamagata Yoriyuki
CSPを用いたログ解析その他最近考えていること
CSPを用いたログ解析その他
CSPを用いたログ解析その他
Yamagata Yoriyuki
In this paper, we prove that S12 can prove consistency of PV−, the system obtained from Cook and Urquhart’s PV by removing induction, but retaining the substitution rule. Previously it is only known that S12 can prove PV- without the substitution rule
Consistency proof of a feasible arithmetic inside a bounded arithmetic
Consistency proof of a feasible arithmetic inside a bounded arithmetic
Yamagata Yoriyuki
In this paper, we prove that S21 can prove consistency of PV−, the system obtained from Cook and Urquhart’s PV [3] by removing induction. This apparently contradicts Buss and Ignjatovi ́c [2], since they prove that PV ̸⊢ Con(PV−). However, what they actually prove is unprovability of consistency of the system which is obtained from PV− by addition of propositional logic and BASICe-axioms. On the other hand, our PV− is strictly equational and our proof relies on it.
Consistency proof of a feasible arithmetic inside a bounded arithmetic
Consistency proof of a feasible arithmetic inside a bounded arithmetic
Yamagata Yoriyuki
Camomileとucorelibの話
OCamlとUnicode
OCamlとUnicode
Yamagata Yoriyuki
CSPによる並行システムの検証(2)
CSPによる並行システムの検証(2)
Yamagata Yoriyuki
CSPによるコンカレントシステムの検証(1)
CSPによるコンカレントシステムの検証(1)
Yamagata Yoriyuki
Presentation at CTFM (Computability Theory and Foundation of Mathematics)
Bounded arithmetic in free logic
Bounded arithmetic in free logic
Yamagata Yoriyuki
Bounded arithmetic in free logic
Bounded arithmetic in free logic
Yamagata Yoriyuki
UML&FM 2012
UML&FM 2012
Yamagata Yoriyuki
Translating STM to CSP
Translating STM to CSP
Yamagata Yoriyuki
Camomile - OCaml用Unicodeライブラリ
Camomile - OCaml用Unicodeライブラリ
Yamagata Yoriyuki
Camomile : A Unicode library for OCaml
Camomile : A Unicode library for OCaml
Yamagata Yoriyuki
Google 日本語入力 TechTalk 2010
Google 日本語入力 TechTalk 2010
Yamagata Yoriyuki
CamomileでUnicode
CamomileでUnicode
Yamagata Yoriyuki
Mais de Yamagata Yoriyuki
(19)
ヴォイニッチ手稿と私
ヴォイニッチ手稿と私
Scalaによるドメイン特化言語を使ったソフトウェアの動作解析
Scalaによるドメイン特化言語を使ったソフトウェアの動作解析
Consistency proof of a feasible arithmetic inside a bounded arithmetic
Consistency proof of a feasible arithmetic inside a bounded arithmetic
モデル検査紹介
モデル検査紹介
Runtime verification based on CSP
Runtime verification based on CSP
CSPを用いたログ解析その他
CSPを用いたログ解析その他
Consistency proof of a feasible arithmetic inside a bounded arithmetic
Consistency proof of a feasible arithmetic inside a bounded arithmetic
Consistency proof of a feasible arithmetic inside a bounded arithmetic
Consistency proof of a feasible arithmetic inside a bounded arithmetic
OCamlとUnicode
OCamlとUnicode
CSPによる並行システムの検証(2)
CSPによる並行システムの検証(2)
CSPによるコンカレントシステムの検証(1)
CSPによるコンカレントシステムの検証(1)
Bounded arithmetic in free logic
Bounded arithmetic in free logic
Bounded arithmetic in free logic
Bounded arithmetic in free logic
UML&FM 2012
UML&FM 2012
Translating STM to CSP
Translating STM to CSP
Camomile - OCaml用Unicodeライブラリ
Camomile - OCaml用Unicodeライブラリ
Camomile : A Unicode library for OCaml
Camomile : A Unicode library for OCaml
Google 日本語入力 TechTalk 2010
Google 日本語入力 TechTalk 2010
CamomileでUnicode
CamomileでUnicode
Rubyでデータマイニング: RubyKaigi2007ライトニングトーク
1.
Rubyでデータマイニング 日本Ruby会議2007 2007年6月8日
2.
ネットの視界 一般 特定 人気少 人気大
3.
人気ランキングで見えるもの 一般 特定 人気少 人気大
4.
検索で見えるもの 一般 特定 人気少 人気大
5.
一般 特定 人気少 人気大 X 視野を広げてくれるツール ここを見つけたい
6.
連想検索 SBM URL 連想 URL
7.
ソーシャルブックマーキング SBM URL 連想 URL はてな LiveDoor Del.icio.us MM/Memo
8.
興味を持ったページのURL SBM URL 連想 URL
9.
連想 SBM URL 連想 URL 確率モデル
10.
関連するURLを表示 SBM URL 連想 URL
11.
HatenaTail hatenatail.com ソースはGPL
Baixar agora