ProofCafe - Schedule/ProofSummit2014
#ProofSummit 2014 æ¦‚è¦ å®šç†è¨¼æ˜Žæ”¯æ´ç³»(Coq,Agda,Isabelle/HOL,ACL2ãªã©ãªã©)や自動証明器ãªã©ã‚’ä¸å¿ƒã«é›†ã¾ã‚‹ãŠç¥ã‚Šã§ã™ã€‚ 日時: 2014å¹´09月06æ—¥(土) å ´æ‰€: åå¤å±‹å¤§å¦ 多元数ç†ç§‘å¦æ£Ÿ 109 å‚åŠ è²»: ç„¡æ–™ å‚åŠ ç™»éŒ²: ProofSummit 2014 - Partake Twitterãƒãƒƒã‚·ãƒ¥ã‚¿ã‚°: #ProofSummit æŒã¡ç‰©: ãŠã‚„ã¤ã€(é›»æºã‚¿ãƒƒãƒ—)ã€(PC) プãƒã‚°ãƒ©ãƒ 時刻 発表者(敬称略) 所属 内容
オンラインã§å…¥æ‰‹ã§ãã‚‹æ•°ç†è«–ç†å¦ãƒ»æ•°å¦åŸºç¤Žè«–ã®ãƒ†ã‚スト
オンラインã§å…¥æ‰‹ã§ãã‚‹æ•°ç†è«–ç†å¦ãƒ»æ•°å¦åŸºç¤Žè«–ã®ãƒ†ã‚スト æ•°ç†è«–ç†å¦ã€æ•°å¦åŸºç¤Žè«–ã®æ•™ç§‘書的ã«ä½¿ãˆã‚‹ãƒ†ã‚スト（講義ノートã€ã‚µãƒ¼ãƒ´ã‚§ã‚¤ã€ãƒ¢ãƒŽã‚°ãƒ©ãƒ•ç‰ï¼‰ã®ã†ã¡ã€ã‚ªãƒ³ãƒ©ã‚¤ãƒ³ã§å…¥æ‰‹ã§ãã‚‹ã‚‚ã®ã‚’集ã‚ã¾ã—ãŸã€‚ 入門的概説 è«–ç†ä¸€èˆ¬ 高階論ç†ã¨åž‹ç†è«– ç›´è¦³ä¸»ç¾©è«–ç† ã‚³ãƒ³ãƒ“ãƒãƒ¼ã‚¿ã¨ãƒ©ãƒ ダ計算 時相論ç†ãŠã‚ˆã³æ™‚åˆ¶è«–ç† æ§˜ç›¸è«–ç† é©åˆ‡ã•ã®è«–ç† è‡ªç„¶è¨€èªžã®è«–ç† ç©ºé–“è«–ç† ãƒ¢ãƒ‡ãƒ«ç†è«– 安定性ç†è«– ç„¡é™è«–ç† è¨ˆç®—å¯èƒ½æ€§ç†è«–ãŠã‚ˆã³å†å¸°ç†è«– 集åˆè«– pcfç†è«– 記述集åˆè«– 実数ã®é›†åˆè«– é¸æŠžå…¬ç† 強制法ã¨å†…部モデル 連続体仮説 NF 証明論ã¨æ§‹æˆçš„æ•°å¦ é †åºæ•°è§£æž ç®—è¡“ã®ä½“ç³»ã¨ä¸å®Œå…¨æ€§ 証明å¯èƒ½æ€§è«–ç† ç·šå½¢è«–ç† æ§‹æˆçš„æ•°å¦ ä»£æ•°çš„è«–ç†ã¨åœè«– ブール代数 æ™®é代数 é‡åè«–ç† åœè«– æ´å² 入門的概説 [â–²] åŠ èŒ‚é™å¤«ï¼Œã€Œæ•°ç†è«–ç†å¦ï¼ˆå‘½é¡Œè«–ç†ã¨è¿°èªžè«–ç†ï¼‰ã€ï¼Ž[PDF] 嘉田å‹ï¼Œã€Œæ•°ç†è«–ç†å¦ 講義ノート（2013年度版）ã€ï¼Ž St
ジョンソンã®ç«‹ä½“ - Wikipedia
ã“ã®è¨˜äº‹ã¯æ¤œè¨¼å¯èƒ½ãªå‚考文献や出典ãŒå…¨ã示ã•ã‚Œã¦ã„ãªã„ã‹ã€ä¸å分ã§ã™ã€‚ å‡ºå…¸ã‚’è¿½åŠ ã—ã¦è¨˜äº‹ã®ä¿¡é ¼æ€§å‘上ã«ã”å”力ãã ã•ã„。（ã“ã®ãƒ†ãƒ³ãƒ—レートã®ä½¿ã„方） 出典検索?: "ジョンソンã®ç«‹ä½“" – ニュース · 書ç±Â · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーãƒÂ · TWL (2016å¹´11月) æ£å››è§’éŒ (J1)。最åˆã®ã‚¸ãƒ§ãƒ³ã‚½ãƒ³ã®ç«‹ä½“。 三角広底çƒå½¢å±‹æ ¹ä¸¸å¡” (J92)。最後ã®ã‚¸ãƒ§ãƒ³ã‚½ãƒ³ã®ç«‹ä½“。 ジョンソンã®ç«‹ä½“（ジョンソンã®ã‚Šã£ãŸã„ã€Johnson solid）ã€ã¾ãŸã¯ã‚¶ãƒ«ã‚¬ãƒ©ãƒ¼ã®å¤šé¢ä½“（ザルガラーã®ãŸã‚ã‚“ãŸã„ã€Zalgaller polyhedron）ã¨ã¯ã€æ•´é¢å‡¸å¤šé¢ä½“（ã›ã„ã‚ã‚“ã¨ã¤ãŸã‚ã‚“ãŸã„ã€regular-faced convex polyhedron）ã®ã†ã¡ã€æ£å¤šé¢ä½“ã€åŠæ£å¤šé¢ä½“ã€ã‚¢ãƒ«ã‚メデスã®è§’柱ã€ã‚¢ãƒ«ã‚メデスã®å角柱以外ã®ã‚‚
ãƒ‘ãƒ³ãƒ«ãƒ´ã‚§æ–¹ç¨‹å¼ - Wikipedia
出典ã¯åˆ—挙ã™ã‚‹ã ã‘ã§ãªãã€è„šæ³¨ãªã©ã‚’用ã„ã¦ã©ã®è¨˜è¿°ã®æƒ…å ±æºã§ã‚ã‚‹ã‹ã‚’明記ã—ã¦ãã ã•ã„。 記事ã®ä¿¡é ¼æ€§å‘上ã«ã”å”力をãŠé¡˜ã„ã„ãŸã—ã¾ã™ã€‚（2023å¹´9月） æ•°å¦ã«ãŠã„ã¦ãƒ‘ンルヴェ方程å¼ï¼ˆãƒ‘ンルヴェã»ã†ã¦ã„ã—ãã€Painlevé equations）ã¯ã€ï¼ˆå‹•ã特異点ãŒæ¥µã§ã‚ã‚‹ã¨ã„ã†ï¼‰ãƒ‘ンルヴェ性 (Painlevé property) ã‚’å‚™ãˆãŸç‰¹å®šã®ç¨®é¡žã®äºŒéšŽéžç·šåž‹ã®è¤‡ç´ 常微分方程å¼ã§ã‚る。パンルヴェ方程å¼ã¯ä¸€èˆ¬ã«ã¯åˆç‰é–¢æ•°ã®ç¯„囲ã§è§£ãã“ã¨ã¯ã§ããšã€ãƒ‘ンルヴェ方程å¼ã®è§£ã¨ã—ã¦ãƒ‘ンルヴェ超越関数 (Painlevé transcendents) ã¨å‘¼ã°ã‚Œã‚‹è¤‡ç´ 変数ã®ç‰¹æ®Šé–¢æ•°ãŒå®šç¾©ã•ã‚Œã‚‹ã€‚åã®ç”±æ¥ã¯å¾Œã«ãƒ•ãƒ©ãƒ³ã‚¹é¦–相ã®åº§ã«å°±ããƒãƒ¼ãƒ«ãƒ»ãƒ‘ンルヴェã®è‘—ã—ãŸè«–æ–‡ (Paul Painlevé 1900, 1902) ã‹ã‚‰ã€‚ パンルヴェ超越関数ã®èµ·æºã¯ã€å¾®åˆ†æ–¹ç¨‹å¼ã®è§£ã¨ã—ã¦ã—ã°ã—ã°ç¾ã‚Œã‚‹ç‰¹æ®Šé–¢æ•°ã®ç ”究ãŠã‚ˆã³ã€
mod13スピード - resolution
ãã‚ãã‚今話題ã®mod13スピードã«ã¤ã„ã¦æ›¸ãã“ã¨ã«ã—よã†ã€‚wikipediaã«ã‚ˆã‚‹ã¨æ•°å¦ã‚ªãƒªãƒ³ãƒ”ックã®åˆå®¿ã®å‚åŠ è€…ã«ã‚ˆã‚Šé–‹ç™ºã•ã‚ŒãŸã‚‰ã—ã„。ルールã¨ãƒ†ã‚¯ãƒ‹ãƒƒã‚¯ã«ã¤ã„ã¦ã¯ã€ç˜æ ¡æ•°å¦éƒ¨ã®ã‚µã‚¤ãƒˆã«æŽ²è¼‰ã•ã‚Œã¦ã„る。ã“ã®PDFファイルをèªã‚ã°ã ã„ãŸã„ã‚ã‹ã‚‹ãŒã€ã‚¹ãƒ”ードã¨ã„ã†2人用トランプゲームを拡張ã—ãŸã‚‚ã®ã§ã‚る。 ルール 通常ã®ã‚¹ãƒ”ードã¨åŒæ§˜ã«ã€äº’ã„ã«4æžšãšã¤å ´æœã‚’表ã«ã—ã¦ç”¨æ„ã—ã€2æžšã®å°æœã‚’真んä¸ã«ç”¨æ„ã™ã‚‹ã€‚便宜上左ã®å°æœã‚’å°æœAã€å³ã®å°æœã‚’å°æœBã¨ã—ã¦ãŠã“ã†ã€‚通常ã®ã‚¹ãƒ”ードã§ã¯ã€ï¼ˆå°æœAã®æ•°ï¼‹ï¼‘）or（å°æœAã®æ•°ãƒ¼ï¼‘）をå°æœAã®ä¸Šã«å ´æœã‹ã‚‰å‡ºã›ã‚‹ã€‚å°æœBã«ã¤ã„ã¦ã‚‚åŒæ§˜ã 。 ã—ã‹ã—ã“ã®ã‚²ãƒ¼ãƒ ã®é–‹ç™ºè€…ã¯ã€ä½•ã‚’æ€ã£ãŸã‹å°æœAã¨å°æœBã®æ•°ã§å››å‰‡æ¼”ç®—ã‚’ã—ãŸã‚‰é¢ç™½ã„ã‚“ã˜ã‚ƒã？ã¨è€ƒãˆã¦ã—ã¾ã£ãŸã‚ˆã†ã 。和ã®å ´åˆã€Aï¼ï¼’ã€Bï¼ï¼“ãªã‚‰ã©ã¡ã‚‰ã®å°æœã®ä¸Šã«ã‚‚５を出ã›ã‚‹ã¿ãŸã„ã«ã€‚ã“ã†ã—ã¦æš—ç®—ã‚’è¦æ±‚ã™ã‚‹ã“ã¨ã«ã‚ˆã‚Šã€ã‚«ãƒ¼ãƒ‰
åˆç‰æ•°å¦é›‘考 » æ•°å¦æ•™è‚²å²ã«ãŠã‘ã‚‹æ•°ã¨é‡(未完æˆ)
日本ã®æ´å²ä¸Šã€å…¬å¼ã«æ•°å¦ã¨ã„ã†è¨€è‘‰ãŒä½¿ã‚ã‚ŒãŸã®ã¯ã€1855å¹´ã«å¹•åºœã«ã‚ˆã£ã¦å¤–交・è»äº‹ç§‘å¦ã®ãŸã‚ã®ç¿»è¨³ãƒ»èª¿æŸ»æ©Ÿé–¢ã¨ã—ã¦è¨ç«‹ã•ã‚ŒãŸè•ƒæ›¸èª¿æ‰€(ã°ã‚“ã—ょã—らã¹ã—ょ)ãŒã€è˜å¦ä¸€è¾ºå€’ã‹ã‚‰è‹±èªžãƒ»ä»èªžãƒ»ç‹¬èªžã¸ã¨ç¯„囲を広ã’ã€æ´‹æ›¸èª¿æ‰€ã¨æ”¹ç§°ã—ã€1864å¹´ã«æ•°å¦ç§‘を作ã£ãŸã®ãŒå§‹ã¾ã‚Šã§ã‚ã‚‹ã¨æ€ã‚ã‚Œã¾ã™ã€‚ã“れを引ã継ã„ã 明治政府ã¯1877å¹´(明治10å¹´)ã«æ±äº¬å¤§å¦ã‚’創è¨ã—ã€ã‚±ãƒ³ãƒ–リッジ大å¦ã§æ•°å¦ã¨ç‰©ç†å¦ã®å¦ä½ã‚’å–å¾—ã—ãŸèŠæ± 大麓(当時22æ³)ãŒåˆä»£ã®æ—¥æœ¬äººæ•™æŽˆã¨ãªã‚Šã¾ã—ãŸã€‚ æ±äº¬å¤§å¦ç†å¦éƒ¨æ•°å¦ç§‘ã®å’æ¥ç”Ÿã¯1889å¹´ã¾ã§ã«6åã—ã‹ã„ã¾ã›ã‚“ã§ã—ãŸã€‚ãã®ä¸€äººã§1882å¹´å’æ¥ã®è—¤æ²¢åˆ©å–œå¤ªéƒŽã¯èŠæ± ã‹ã‚‰ãƒ¨ãƒ¼ãƒãƒƒãƒ‘ç•™å¦ã‚’勧ã‚られã€ãƒãƒ³ãƒ‰ãƒ³å¤§å¦ã€ãƒ™ãƒ«ãƒªãƒ³å¤§å¦ã€ã‚·ãƒ¥ãƒˆãƒ©ã‚¹ãƒ–ルグ大å¦ã«å¦ã³ã¾ã™ã€‚1886å¹´ã«å¦ä½è«–文をシュトラスブルグ大å¦ã«æ出ã—ã€ç¿Œå¹´å¸°å›½ã—ã¾ã—ãŸãŒã€è—¤æ²¢ã¯å½“時ã®æœ€å…ˆç«¯ã®æ•°å¦ã‚’å¦ã‚“ã 最åˆã®æ—¥æœ¬äººã¨ã•ã‚Œã€ãã®å¾Œã®æ—¥æœ¬ã®æ•°å¦ã«
ã‚¢ãƒãƒ¼ã®ä¸å¯èƒ½æ€§å®šç† - Wikipedia
ã‚¢ãƒãƒ¼ã®ä¸å¯èƒ½æ€§å®šç†ï¼ˆã‚¢ãƒãƒ¼ã®ãµã‹ã®ã†ã›ã„ã¦ã„ã‚Šã€è‹±: Arrow's impossibility theorem）ã€ã‚¢ãƒãƒ¼ã®ï¼ˆä¸€èˆ¬ï¼‰å¯èƒ½æ€§å®šç†ã€ã¾ãŸã¯å˜ã«ã‚¢ãƒãƒ¼ã®å®šç†ã¨ã¯ã€ç¤¾ä¼šçš„é¸æŠžç†è«–ã«ãŠã‘ã‚‹ä¸å¯èƒ½æ€§å®šç†ï¼ˆè‹±èªžç‰ˆï¼‰ã®ä¸€ã¤ã§ã‚る。ã“ã®å®šç†ã«ã‚ˆã‚Œã°ã€æŠ•ç¥¨è€…ã«3ã¤ä»¥ä¸Šã®ç‹¬ç«‹ã—ãŸé¸æŠžè‚¢ãŒå˜åœ¨ã™ã‚‹å ´åˆã€å¦‚何ãªã‚‹é¸å¥½æŠ•ç¥¨åˆ¶åº¦ï¼ˆç¤¾ä¼šçš„厚生関数[註 1]）ã§ã‚ã£ã¦ã‚‚ã€å€‹ã€…人ã®é¸å¥½é †ä½ã‚’å…±åŒä½“全体ã®ï¼ˆå®Œå‚™ã‹ã¤æŽ¨ç§»çš„ãªï¼‰é †ä½ã«å¤‰æ›ã™ã‚‹éš›ã«ã€ç‰¹å®šã®è©•ä¾¡åŸºæº–（定義域ã®éžé™å®šæ€§ã€éžç‹¬è£æ€§ã€ãƒ‘レート効率性ã€ç„¡é–¢ä¿‚ãªé¸æŠžè‚¢ã‹ã‚‰ã®ç‹¬ç«‹æ€§ï¼‰ã‚’åŒæ™‚ã«æº€ãŸã™ã“ã¨ã¯å‡ºæ¥ãªã„。ã“ã®å®šç†ã¯ã‚®ãƒãƒ¼ãƒ‰ï¼ã‚µã‚¿ãƒ¼ã‚¹ã‚¦ã‚§ã‚¤ãƒˆã®å®šç†ã‚’å°Žãã“ã¨ã§çŸ¥ã‚‰ã‚Œã€æŠ•ç¥¨ç†è«–ã§ã¯ã‚ˆã引用ã•ã‚Œã‚‹ã€‚ã‚¢ãƒãƒ¼ã®å®šç†ã¨ã„ã†å称ã¯çµŒæ¸ˆå¦è€…ã§ã‚りノーベル経済å¦è³žå—賞者ã§ã‚るケãƒã‚¹ãƒ»ã‚¢ãƒãƒ¼ã«å› む。アãƒãƒ¼ã¯åšå£«è«–æ–‡ã§ã“ã®å®šç†ã‚’示ã—ã€å¾Œã«è‘—書『社会的é¸æŠžã¨å€‹äººçš„評価（英語版）
MathML æ—¥æœ¬èªžæƒ…å ±
MathML æ—¥æœ¬èªžæƒ…å ± ã“ã“ã§ã¯ã€æ•°å¦ãƒžãƒ¼ã‚¯ã‚¢ãƒƒãƒ—言語「MathMLã€ã«é–¢ã™ã‚‹æ—¥æœ¬èªžã®æƒ…å ±ã‚’æŽ²è¼‰ã—ã¦ã„ã¾ã™ã€‚ ã“ã®ãƒšãƒ¼ã‚¸ã®ç›®æŒ‡ã™ã‚‚ã® MathML (和訳) ã¯ã€HTML ã®ã‚ˆã†ãªãƒžãƒ¼ã‚¯ã‚¢ãƒƒãƒ—を利用ã—ã¦ã€ã‚¦ã‚§ãƒ–ã§æ•°å¦ã‚’表ç¾ã™ã‚‹ãŸã‚ã®è¨€èªžã§ã™ã€‚ インターãƒãƒƒãƒˆã¯ã‚‚ã¨ã‚‚ã¨ç†ç³»ã®äººã€…ãŒã‚³ãƒ³ãƒ”ュータ上ã§æƒ…å ±ã‚’ã‚„ã‚Šã¨ã‚Šã™ã‚‹ãŸã‚ã«ä½¿ã‚れ始ã‚ã¾ã—ãŸã€‚ã“ã®ãŸã‚ã€ãã®é»Žæ˜ŽæœŸã‹ã‚‰ã€æ•°å¦ã‚’ã¯ã˜ã‚ã¨ã™ã‚‹ç§‘å¦ã®è«¸åˆ†é‡Žã®æƒ…å ±ã®ã‚„ã‚Šã¨ã‚Šã‚’HTMLã¨åŒã˜ã‚ˆã†ã«å®Ÿç¾ã§ããªã„ã‹ã¨ã€ã•ã¾ã–ã¾ãªè©¦ã¿ãŒè¡Œã‚ã‚Œã¦ãã¾ã—ãŸã€‚MathMLã¯ã€ãã®ä¸€ã¤ã§ã€ã‚¦ã‚§ãƒ–ã§ç”¨ã„られるHTMLã«æ•°å¼ã®è¦‹ãŸç›®ã ã‘ã§ãªããã®æ„味も埋ã‚込むãŸã‚ã®ãƒžãƒ¼ã‚¯ã‚¢ãƒƒãƒ—言語ã§ã™ã€‚ MathML ã¯ã€ä»•æ§˜æ›¸ã§ã‚‚触れられã¦ã„るよã†ã«ã€(HTML 以上ã«) 人間ãŒèªã¿æ›¸ãã™ã‚‹ãŸã‚ã®è¨€èªžã§ã¯ã‚ã‚Šã¾ã›ã‚“。ã‚ãã¾ã§ã€ã‚³ãƒ³ãƒ”ュータã®ãƒ—ãƒã‚°ãƒ©ãƒ ãŒã€æ•°å¼æƒ…å ±ã‚’èªã¿æ›¸ãã™ã‚‹ãŸã‚ã®è¨€èªžã§
時事ドットコム：１６æ³ã‚¤ãƒ©ã‚¯ç§»æ°‘å°‘å¹´ã€æ•°å¦ã®æ´å²çš„難å•è§£ãï¼ãƒ™ãƒ«ãƒŒãƒ¼ã‚¤æ•°ã‚’説明―スウェーデン
１６æ³ã‚¤ãƒ©ã‚¯ç§»æ°‘å°‘å¹´ã€æ•°å¦ã®æ´å²çš„難å•è§£ãï¼ãƒ™ãƒ«ãƒŒãƒ¼ã‚¤æ•°ã‚’説明―スウェーデン １６æ³ã‚¤ãƒ©ã‚¯ç§»æ°‘å°‘å¹´ã€æ•°å¦ã®æ´å²çš„難å•è§£ãï¼ãƒ™ãƒ«ãƒŒãƒ¼ã‚¤æ•°ã‚’説明―スウェーデン ã€ã‚¹ãƒˆãƒƒã‚¯ãƒ›ãƒ«ãƒ ２８日ＡＦＰï¼æ™‚事】スウェーデンã«ä½ã‚€ï¼‘ï¼–æ³ã®ã‚¤ãƒ©ã‚¯ã‹ã‚‰ã®ç§»æ°‘ã®å°‘å¹´ãŒã€æ•°å¦å°‚門家を３ï¼ï¼å¹´ä»¥ä¸Šã«ã‚ãŸã£ã¦æ‚©ã¾ã›ã¦ããŸé›£å•ã‚’解ã„ãŸã¨ã€ã‚¹ã‚¦ã‚§ãƒ¼ãƒ‡ãƒ³ã®ãƒ¡ãƒ‡ã‚£ã‚¢ãŒï¼’ï¼˜æ—¥å ±ã˜ãŸã€‚ 　ダーゲンス・ニュヘテル紙ã«ã‚ˆã‚‹ã¨ã€ã“ã®å°‘å¹´ã¯ï¼–å¹´å‰ã«ã‚¹ã‚¦ã‚§ãƒ¼ãƒ‡ãƒ³ã«ç§»æ°‘ã—ãŸãƒ¢ãƒãƒ¡ãƒ‰ãƒ»ã‚¢ãƒ«ãƒˆã‚¥ãƒžã‚¤ãƒŸå›ã§ã€ï¼‘７世紀ã®ã‚¹ã‚¤ã‚¹ã®æ•°å¦è€…ヤコブ・ベルヌーイã«ã¡ãªã‚“ã§å付ã‘られãŸã€Œãƒ™ãƒ«ãƒŒãƒ¼ã‚¤æ•°ã€ã‚’説明ã€å˜ç´”化ã™ã‚‹å…¬å¼ã‚’ã‚ãšã‹ï¼”カ月ã§ç™ºè¦‹ã—ãŸã€‚ 　アルトゥマイミå›ãŒé€šã†ä¸éƒ¨ãƒ•ã‚¡ãƒ«ãƒ³ã®é«˜æ ¡æ•™å¸«ãŸã¡ã¯æœ€åˆã€ã“ã®æˆæžœã‚’ä¿¡ã˜ã‚‰ã‚Œãªã‹ã£ãŸã¨ã„ã†ã€‚ãã“ã§åŒå›ã¯ã‚¹ã‚¦ã‚§ãƒ¼ãƒ‡ãƒ³æœ€é«˜ã®ç ”究機関ã®ï¼‘ã¤ã€ã‚¦ãƒ—サラ大å¦ã®æ•™æŽˆé™£ã¨é€£çµ¡ã‚’å–ã‚Šã€è‡ªã‚‰ã®æˆæžœã‚’検証ã™ã‚‹ã‚ˆã†é ¼ã‚“ã 。 　アルトゥマ
ãŠã„ãŠå‰ã‚‰å¤§å¦ã«ã‚‚ãã‚Šã¾ãã£ã¦ããŸãžï½—ï½—ï½—ï½—ï½—ï½—ï½— : ゴールデンタイムズ
1 ：以下ã€åç„¡ã—ã«ã‹ã‚ã‚Šã¾ã—ã¦VIPãŒãŠé€ã‚Šã—ã¾ã™ ：2009/05/02(土) 12:04:37.08 ID:nJbC5W5a0 有給消化ã—ã‚馬鹿ã£ã¦ä¸Šå¸ã«ã—ã‹ã‚‰ã‚ŒãŸã®ã§4月ã®å¾ŒåŠã«ã©ã°ã£ã¨ä½¿ã„ã¾ã—㟠ã§ã€ãã®é–“暇ã ã£ãŸã®ã§ã„ã‚ã‚“ãªå¤§å¦ã®æ•°å¦ã®æŽˆæ¥ã‚’å—ã‘ã¾ãã£ã¦ãã¾ã—ãŸã€‚ ãŸã‚‰ãŸã‚‰ã¨ãƒ¬ãƒ“ューを書ã„ã¦ã„ã“ã†ã¨æ€ã†
ã€è¶…難å•ã‚¯ã‚¤ã‚ºã€‘ Windows ã®ã‚¢ã‚¯ã‚»ã‚µãƒªã«ã‚ã‚‹é›»å“を使ã£ã¦æ¬¡ã®æ•°ã«ãªã‚‹ã¹ãè¿‘ã„数を作ã£ã¦ãã ã•ã„。…
ã€è¶…難å•ã‚¯ã‚¤ã‚ºã€‘ Windows ã®ã‚¢ã‚¯ã‚»ã‚µãƒªã«ã‚ã‚‹é›»å“を使ã£ã¦æ¬¡ã®æ•°ã«ãªã‚‹ã¹ãè¿‘ã„数を作ã£ã¦ãã ã•ã„。 0.99984774153108811295981076868 ãŸã ã—ã€ãƒœã‚¿ãƒ³ã®æŠ¼ä¸‹å›žæ•°ã¯10回以内ã¨ã—ã¾ã™ã€‚
パズルを書ã付ã‘ã‚‹/時間も/手間も/åŽã‚ãšã« - ã‚ã¨ã¯ã€äººç”Ÿã©ã‚“ã ã‘éŠã¶ã‹ã§ã™
点ãŒï¼™ã¤ã€3*3ã«ç¸¦æ¨ªç¶ºéº—ã«ä¸¦ã‚“ã§ã„ã¾ã™ã€‚ ・・・ ・・・ ・・・ ã“ã‚“ãªã‚«ãƒ³ã‚¸ã€‚ ã“ã“ã«3ã¤ã®ç‚¹ã‚’通るよã†ãªç›´ç·šã‚’引ãã¨ã™ã‚Œã°ã€ç¸¦ã«3本ã€æ¨ªã«3本ã€æ–œã‚ãŒ2本ã®è¨ˆ8本。 ã•ã¦ã€é©å½“ãª2点をé©å½“ã«å‹•ã‹ã—ã¦ã€æ¡ä»¶ã‚’満ãŸã™ã‚ˆã†ãªç·šãŒ10本ã«ãªã‚‹ã‚ˆã†ã«ã—ã¦ãã ã•ã„。 ç”ãˆã¯3種。 1ã¤ãŒå‡ã£ã¦ã¦æ¥½ã—ã‹ã£ãŸã€‚
æ•°å¦çš„ç†è§£ã¨æ•°å¦è«–çš„ç†è§£ - 真ç†ã‚’求ã‚ã¦ï¼šæ¥½å¤©ãƒ–ãƒã‚°
2008.10.10 æ•°å¦çš„ç†è§£ã¨æ•°å¦è«–çš„ç†è§£ カテゴリ：カテゴリ未分類 『ä¸å®Œå…¨æ€§å®šç†ã€ï¼ˆæž—晋・八æ‰æº€åˆ©å:è‘—ã€å²©æ³¢æ–‡åº«ï¼‰ã®ã€Œã¾ãˆãŒãã€ã®å†’é ã«ã€Œã»ã¨ã‚“ã©äºˆå‚™çŸ¥è˜ã®ãªã„人ãŒã€å…¥é–€æ›¸ã ã‘ã‚’èªã‚“ã§ä¸å®Œå…¨æ€§å®šç†ã®æ•°å¦çš„内容をç†è§£ã™ã‚‹ã“ã¨ã¯ä¸å¯èƒ½ã§ã‚ã‚‹ã€ã¨ã®å®£è¨€ã®ã‚ˆã†ãªæ–定ãŒã‚る。ãã—ã¦ã€Œã“ã®å®šç†ã‚’æ•°å¦çš„ã«ã‚‚ç†è§£ã—ãŸã„ãªã‚‰ã°ã€ã¾ãšæ•°ç†è«–ç†å¦ã‚’ç†è§£ã—ãªã‘ã‚Œã°ãªã‚‰ãªã„ã€ã¨ã„ã†è¨€è‘‰ãŒç¶šã„ã¦ã„る。ã“ã‚Œã¯å…¨ããã®é€šã‚Šã ã¨æ€ã†ã€‚ ã—ã‹ã—ã€å¤šãã®äººãŒãã®ã‚¨ãƒƒã‚»ãƒ³ã‚¹ã ã‘ã§ã‚‚ä¼ãˆã‚ˆã†ã¨åŠªåŠ›ã‚’ã—ã¦ã„る。ãã—ã¦ãã®åˆæ©ã®è«–ç†å¦ã®å…¥é–€ã®ãŸã‚ã«å¤šãã®ãƒšãƒ¼ã‚¸ã‚’費やã—ã¦èª¬æ˜Žã—よã†ã¨ã™ã‚‹ã€Žã‚²ãƒ¼ãƒ‡ãƒ«ã€ã‚¨ãƒƒã‚·ãƒ£ãƒ¼ã€ãƒãƒƒãƒã€ã¨ã„ã†ã‚ˆã†ãªæœ¬ãŒã‹ã¤ã¦ãƒ™ã‚¹ãƒˆã‚»ãƒ©ãƒ¼ã«ãªã£ã¦ã„ãŸã‚Šã™ã‚‹ã€‚ã“ã®å®šç†ã¯ãã‚Œã ã‘é…力ã‚ã‚‹ã‚‚ã®ã§ã‚ã‚Šã€äººã‚’惹ãã¤ã‘ã‚‹ã‚‚ã®ãªã®ã ã‚ã†ã€‚ æ•°å¦çš„内容をç†è§£ã™ã‚‹ã“ã¨ã‚’「数å¦çš„ç†è§£ã€ã¨å付ã‘ã‚‹ã¨ã€ã‚‚ã†ä¸€ã¤ã®ç†è§£ã¨ã—ã¦ã€Œæ•°å¦è«–çš„ç†è§£
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
第8回「計算機を用ã„ãŸæ•°å¦ç ”究ã€GCOEセミナー (2010å¹´11月12日〜13æ—¥)｜新ç€æƒ…å ±ï½œï½œGCOEæ•°å¦ã®ãƒˆãƒƒãƒ—リーダーã®è‚²æˆ - ã‚³ã‚¢ç ”ç©¶ã®æ·±åŒ–ã¨æ–°é ˜åŸŸã®é–‹æ‹“
京大ã®ã‚»ãƒ³ã‚¹ã«è„±å¸½ã€‚
TETRA'S MATH | æŸ (lattice) ã®èªžæº
Amazon.co.jp: 完全ãªã‚‹è¨¼æ˜Ž: マーシャ・ガッセン (è‘—), é’木薫 (翻訳): 本
http://www.maruzen.co.jp/home/irn/econtents/catalog/msn/msn.html
Project Euclid
MathSciNet
{{#tags}}- {{label}}
{{/tags}}