メモ晒㗠- rfãªãƒ–ãƒã‚°
自分㮠Coq メモを晒ã—ã¦ã¿ã‚‹ã€‚ â– ; ã«ã¤ã„㦠T1 ; T2 T1 é©ç”¨å¾Œã€T1 ã«ã‚ˆã£ã¦å‡ºæ¥ãŸå…¨ã¦ã®ã‚µãƒ–ゴールã«å¯¾ã—㦠T2 ã‚’é©ç”¨ T1 ; [T2 | T3] T1 é©ç”¨å¾Œã€T1 ã«ã‚ˆã£ã¦å‡ºæ¥ãŸã‚µãƒ–ゴール a, b ã«å¯¾ã—ã¦ã€a ã« T2ã€b ã« T3 ã‚’é©ç”¨ (ä¸è¦ãªã‚‰ T2, T3 ã‚’çœç•¥å¯(何もã—ãªã„)) â– tacticã«ã¤ã„㦠intro / intros å‰æã®å°Žå…¥ ゴール㮠forall ã‚„ -> ã§æ‹¬ã‚‰ã‚ŒãŸéƒ¨åˆ†ã‚’å‰æ㸠intros ã§åå‰ã‚’付ã‘ã‚‹ã¨ãã¯å·¦ã‹ã‚‰ å‰æã«æŒã£ã¦è¡Œã‹ãªã„å ´åˆã¯ã€åå‰ã‚’ _ ã«ã™ã‚‹ (intros ã®ã¿) apply å‰æ A -> Bã€ã‚´ãƒ¼ãƒ« B ãŒã‚ã‚‹ã¨ãã€ã‚´ãƒ¼ãƒ«ã‚’ A ã«ã™ã‚‹ ゴールã«é©ç”¨ã§ãる関数ãŒã‚ã‚‹ã¨ãã€apply 関数 ã§ã‚´ãƒ¼ãƒ«ã«é–¢æ•°ã‚’é©ç”¨ã™ã‚‹ assert assert (å‰æã®åå‰ := å¼) ã§ã€å¼ã«ã‚ˆã£ã¦è¨¼æ˜Žã•ã›ã‚‹
ï¼»CEDEC 2010］アニメã¨ã‚²ãƒ¼ãƒ ã‚’çµã¶â€œå‹•ã‹ã™æŠ€è¡“â€ã«ã¤ã„ã¦ï¼Œè¶…大物クリエイターãŒç†±ã語ã£ãŸã€‚「大塚康生×上田文人対談　〜もã£ã¨ä¸Šæ‰‹ããªã‚ŠãŸã„ï¼å‹•ã‹ã™åŠ›ã€œã€ãƒ¬ãƒãƒ¼ãƒˆ
ï¼»CEDEC 2010］アニメã¨ã‚²ãƒ¼ãƒ ã‚’çµã¶â€œå‹•ã‹ã™æŠ€è¡“â€ã«ã¤ã„ã¦ï¼Œè¶…大物クリエイターãŒç†±ã語ã£ãŸã€‚「大塚康生×上田文人対談　〜もã£ã¨ä¸Šæ‰‹ããªã‚ŠãŸã„ï¼å‹•ã‹ã™åŠ›ã€œã€ãƒ¬ãƒãƒ¼ãƒˆ ライター：徳岡æ£è‚‡ å¤§å¡šåº·ç”Ÿæ° CEDEC 2010ã®2æ—¥ã‚ã«è¡Œã‚ã‚ŒãŸç‰¹åˆ¥æ‹›å¾…セッションã§ã¯ï¼Œã€Œã‚¢ãƒ‹ãƒ¡ã®åŠ›ã‚’ゲームã®ä¸–ç•Œã«ã€ã¨ã„ã†ãƒ†ãƒ¼ãƒžã§ï¼Œå¤§å¡šåº·ç”Ÿæ°ã¨ä¸Šç”°æ–‡äººæ°ã®å¯¾è«‡ãŒï¼Œç´°ç”°ä¼¸æ˜Žæ°ã®å¸ä¼šã®ã‚‚ã¨è¡Œã‚ã‚ŒãŸã€‚ 大塚æ°ã¯å…ƒéº»è–¬å–ç· å®˜ã¨ã„ã†ç•°è‰²ã®è‚©æ›¸ãã‚’æŒã£ãŸã‚¢ãƒ‹ãƒ¡ãƒ¼ã‚¿ãƒ¼ã§ï¼Œä¼èª¬ã®ã€Œç™½è›‡ä¼ã€ï¼ˆ1958）や「太陽ã®çŽ‹å ホルスã®å¤§å†’険ã€ï¼ˆ'68）ã«å‚åŠ ï¼Œã€Œãƒ ãƒ¼ãƒŸãƒ³ã€ï¼ˆ'69）「ルパン三世ã€ï¼ˆ'71）「パンダコパンダã€ï¼ˆ'72）「未æ¥å°‘年コナンã€ï¼ˆ'78ï¼‰ï¼Œæ˜ ç”»ã€Œãƒ«ãƒ‘ãƒ³ä¸‰ä¸– カリオストãƒã®åŸŽã€ï¼ˆ'79）「ã˜ã‚ƒã‚Šãƒ³åãƒã‚¨ã€ï¼ˆ'81）ãªã©ã®ä½œç”»ç›£ç£ã‚’æ´ä»»ã—ã¦ããŸï¼Œã„ã‚ã°ä¼èª¬ç´šã®äººç‰©ã€‚ 上田æ°ã¯ï¼Œã€ŒICOã€ã€Œãƒ¯ãƒ³ãƒ€ã¨å·¨åƒã€ã€Œäººå–°ã„ã®å¤§é·²ãƒˆ
ã€CEDEC 2010】é 藤雅伸æ°ãŒãƒ©ã‚¤ãƒˆã‚²ãƒ¼ãƒ ã®ç¾çŠ¶ã‚’語る - ファミ通.com
『ゼビウスã€ã®ç”Ÿã¿ã®è¦ªã§ã‚ã‚‹é 藤雅伸æ°ãŒã€ãƒ©ã‚¤ãƒˆãƒ¦ãƒ¼ã‚¶ãƒ¼ã«ã¨ã£ã¦ã®ã‚²ãƒ¼ãƒ 性ã¨ã‚²ãƒ¼ãƒ デザインã«ã¤ã„ã¦ã‚»ãƒƒã‚·ãƒ§ãƒ³ã‚’è¡Œã£ãŸã€‚ â—ライトユーザーã«å—ã‘入れられるゲームデザインã¨ã¯ï¼Ÿã€€CEDEC（CESAデベãƒãƒƒãƒ‘ーズカンファレンス）2010ãŒã€2010å¹´8月31日～9月2æ—¥ã®3日間ã«ã‚ãŸã£ã¦ã€ç¥žå¥ˆå·çœŒã®ãƒ‘シフィコ横浜・国際会 è°ã‚»ãƒ³ã‚¿ãƒ¼ã«ã¦é–‹å‚¬ä¸ã 。社団法人コンピュータエンタテインメントå”会(CESA)主催ã«ã‚ˆã‚‹CEDECã¯ã€ã‚²ãƒ¼ãƒ 開発者ã®æŠ€è¡“交æµãªã©ã‚’目的ã«é–‹å‚¬ã•ã‚Œã¦ã„る講演会ã§ã€ä»Šå¹´ã§12年目。ゲームã®çŸ¥ãŒé›†çµã™ã‚‹CEDEC 2010ã®æ¨¡æ§˜ã‚’リãƒãƒ¼ãƒˆã™ã‚‹ã€‚ 開催2日目ã«è¡Œã‚ã‚ŒãŸã‚»ãƒƒã‚·ãƒ§ãƒ³ã®ã²ã¨ã¤ã¨ã—ã¦è¡Œã‚ã‚ŒãŸã€ãƒ¢ãƒã‚¤ãƒ«ï¼†ã‚²ãƒ¼ãƒ スタジオã®é 藤雅伸æ°ã«ã‚ˆã‚‹â€œãƒ©ã‚¤ãƒˆã‚²ãƒ¼ãƒ ãªã†â€ã€‚日本ã®ã‚²ãƒ¼ãƒ プレイヤー人å£åˆ†å¸ƒã¯ã€ãƒ©ã‚¤ãƒˆã‚²ãƒ¼ãƒ ã«åã£ã¦ã„ã‚‹ã¨ã—ã¦ã€ãƒ©ã‚¤ãƒˆãƒ¦ãƒ¼ã‚¶ãƒ¼ã«ã¨ã£ã¦ã®ã‚²ãƒ¼ãƒ 性ã¨ã„ã¾ã®ã‚²ãƒ¼ãƒ デザイン手
dd_rescueコマンドã¨ddコマンドã®é•ã„ - ãµã«ã‚ƒã‚‹ã‚“v2
先日ã®æŠ•ç¨¿ãƒã‚¿ã§ã€id:otsuneã•ã‚“ã‹ã‚‰ã‚³ãƒ¡ãƒ³ãƒˆé ‚ãã¾ã—ãŸã€‚ id:otsune 2007/11/11 21:43 >ddコマンドã£ã¦ã€å®Ÿè¡Œã™ã‚‹ã¨å®Œäº†ã™ã‚‹ã¾ã§ ã ã‚“ã¾ã‚ŠçŠ¶æ…‹ã«ãªã‚‹ã‚“ã§ã™ã‚ˆã。 ã„ã¡ãŠã†USR1シグナルを与ãˆã‚‹ã¨ä»Šã©ã“ã¾ã§ã‚³ãƒ”ーã—ã¦ã‚‹ã®ã‹è¡¨ç¤ºã—ã¦ãã‚Œã¾ã™ã€‚ ã©ã£ã¡ã‚ƒã«ã—ã‚dd_rescueã®ã»ã†ãŒblocksizeを自動調整ã—ã¦ãã‚ŒãŸã‚Šã™ã‚‹ã®ã§ä¾¿åˆ©ã ã‘ã©ã€‚ è²´é‡ãªæƒ…å ±ã€ã‚ã‚ŠãŒã¨ã†ã”ã–ã„ã¾ã™ã€œã€‚ã£ã¦è¨³ã§ã€æ—©é€Ÿæ¯”較検証。VirtualPCã«KNOPPIXå–°ã‚ã›ã¦ã€ã©ã®ã‚ˆã†ãªå¤‰åŒ–ãŒè¨ªã‚Œã‚‹ã®ã‹æ¤œè¨¼ã—ã¦ã¿ã¾ã—ãŸã€‚ ã¨ã“ã‚ã§ã€VirtualPCã«KNOPPIX 5.1.1ã‚’å–°ã‚ã›ã‚‹ã¨ã€(ãã®ã¾ã¾ã§ã¯)マウスãŒæ£å¸¸å‹•ä½œã—ã¾ã›ã‚“。 解決方法ã¯ã€ä»¥ä¸‹ã®URL通りã§ã™ã€‚ ãã£ã¨ã§ã¹ã‚: ubuntu 7.10 on VirtualPCã®ãƒžã‚¦ã‚¹å•é¡Œï¼ˆè§£æ±ºï¼‰ http://yk.tea-nift
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
[Haskell-cafe] ANNOUNCE: text 0.8.0.0, fast Unicode text support
[Haskell-cafe] ANN: Hayoo! 2.1
Hoogle
Fast base64 encoding and decoding in Haskell
vim-scripts - Overview
{{#tags}}- {{label}}
{{/tags}}