Amazon.co.jp: äººå·¥å¸‚å ´ (相互作用科å¦ã‚·ãƒªãƒ¼ã‚º): 和泉潔: 本
Ï€-calculus - Wikipedia
In theoretical computer science, the π-calculus (or pi-calculus) is a process calculus. The π-calculus allows channel names to be communicated along the channels themselves, and in this way it is able to describe concurrent computations whose network configuration may change during the computation. The π-calculus has few terms and is a small, yet expressive language (see § Syntax). Functional prog
ゲーデルã®ä¸å®Œå…¨æ€§å®šç†ã«ã¤ã„ã¦å°‘ã—補足 - kururu_goedel’s diary
ãˆãƒ¼ã¨ã€ã“ã®å‰ã®ã²ã©ã„言ã‚れよã†ã§ã™ãŒ - ãã‚‹ã‚‹ã®æ•°å¦ãƒŽãƒ¼ãƒˆã§id:roi_dantonã•ã‚“ãŒbewaadã•ã‚“ã®ã¨ã“ã‚ã«ã¤ã‘ãŸã‚³ãƒ¡ãƒ³ãƒˆã§ã®ã‚²ãƒ¼ãƒ‡ãƒ«ã®ä¸å®Œå…¨æ€§å®šç†ã®ä½¿ã‚れ方ã«ã¤ã„ã¦ã‚³ãƒ¡ãƒ³ãƒˆã—ãŸã‚ã‘ã§ã™ãŒ(ãªã‚“ã ã“ã®èªã¿ã«ãã„æ–‡ã¯ï¼ï¼‰ã€‚èªã¿è¿”ã—ã¦ã¿ã‚‹ã¨å‰Šã‚Šã™ãŽã¦æœ¬æ¥è¨€ãŠã†ã¨ã—ãŸã“ã¨ãŒå®Œå…¨ã«ãªããªã£ã¦ã—ã¾ã£ã¦ã„ã‚‹(爆)ã®ã§ã€ã¡ã‚‡ã£ã¨è£œè¶³ã—ã¦ãŠãã¾ã™ã€‚ ゲーデルã®ç¬¬ä¸€ä¸å®Œå…¨æ€§å®šç†ã¯ä»¥ä¸‹ã®ã‚ˆã†ã«è¡¨ã›ã¾ã™ã€‚ å…¬ç†ç³»Î“㌠自然数論をå«ã¿ 帰ç´çš„ã«å®šç¾©å¯èƒ½ãª ã¨ãã«ã¯ã€è«–ç†å¼Ï†ã§ã€Î“ã‹ã‚‰Ï†ã‚‚¬φも証明ã§ããªã„よã†ãªã‚‚ã®ãŒå˜åœ¨ã™ã‚‹ã€‚ ã„ã‚„ã€ã¾ã‚厳密ã˜ã‚ƒãªã„ã§ã™ãŒã€‚第一ãŒã€Œè¨¼æ˜Žã£ã¦ä½•ã‚ˆã€ã£ã¦ã“ã¨ã‚’ãã¡ã‚“ã¨ã‚„らãªã‘ã‚Œã°ã©ã†ã—よã†ã‚‚ãªã„ã‚ã‘ã§ã€‚ã¨ã‚Šã‚ãˆãšã£ã¦ã“ã¨ã§ã€‚ ç§ãŒæ°—ã«ã—ã¦ã„ã‚‹ã®ã¯Î“ãŒæº€ãŸã•ãªã‘ã‚Œã°ã„ã‘ãªã„二ã¤ã®æ¡ä»¶ã®ã“ã¨ã§ã™ã€‚ 自然数論 ã“ã“ã§ã®è‡ªç„¶æ•°è«–ã¨ã„ã†ã®ã¯ã€è‡ªç„¶æ•°å…¨ä½“ã®é›†åˆã«ã«è¶³ã—ç®—ã¨æŽ›ã‘ç®—ã¨ã„
1
ãŠçŸ¥ã‚‰ã›
障害
ランã‚ング
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
Amazon.co.jp: 計算機シミュレ-ションã®ãŸã‚ã®ç¢ºçŽ‡åˆ†å¸ƒä¹±æ•°ç”Ÿæˆæ³•: å››è¾»å“²ç« : 本
＜プãƒã‚°ãƒ©ãƒžãƒ¼ï¼žâ€¦â€¦â€¦â€œèœå¸«â€â€œå‡½èœå¸«â€â€œèœå®¶â€ãŠã¾è¨³â€œç®—èœå¸«â€å¼•ç”¨è¨³ - ãŠã¾ãˆãªã‚“ã‹ã€è¨³ã—ã¦ã‚„ã‚‹ï¼
http://www.ueda.info.waseda.ac.jp/~takashi/kakehi.html
JRF ã®ç§è¦‹ï¼šé›‘記
{{#tags}}- {{label}}
{{/tags}}