Memoized Recursion

この時、波長が両耳間の長さに近い中音域(500～3000Hz）の左右検知は位相差が、より波長の短い高音域の検知は音量差が主役を演じるらしい。

Haskell！Haskell！Haskell！Haskellぅぅうううわぁあああああああああん！！！ 

Hi Simon and others, Yes, an update on our holes in GHC project was very due. What I've been working on: - The command line flag -XHoles and as a language pragma {-# LANGUAGE Holes #-} now work - Holes print a warning message with: - The origin of their type variables - Their local environment - Most of the code has been cleaned up to prepare it for submission as a patch. As an example of the message, consider the module: --- {-# LANGUAGE Holes #-} test x = foldr _ x _ --- This prints: --- [1 of 1] Compiling Main ( test2.hs, interpreted ) test2.hs:3:16: Warning: Found hole `_' with type a0 -> b -> b Where: `b' is a rigid type variable bound by the inferred type of test :: b -> b at test2.hs:3:1 `a0' is a free type variable In scope: x :: b test2.hs:3:20: Warning: Found hole `_' with type [a0] Where: `a0' is a free type variable In scope: x :: b Ok, modules loaded: Main --- The 3 currently remaining issues: - Free type variables are not tidied consistently. For every one of these hole warnings, the same TidyEnv is reused, without taking the updates from the other holes into account. I'm pretty sure I know where this happens and how I could fix it. - What I thought would be the local environment doesn't actually seem to be it. The holes store in their origin the result of `getLclTypeEnv' at their location, but as the Note [Bindings with closed types] says, the TopLevelFlag of these don't actually differentiate the top level from the non-top level bindings. I think it would be more helpful to only show the non-top level bindings at the hole's location, any hints about how to obtain just these would be appreciated. - The holes do not have very accurate source location information, like some other errors have. The hole has its origin, ("test2.hs:3:16"), but somehow not something like: "In the expression: folder _ x _, In an equation for `test': test x = foldr _ x _". Help with how that is supposed to work would also be appreciated. I'm attaching a patch of all my changes compared to HEAD as of about a week ago. All my work can also still be found on https://github.com/xnyhps/ghc.

タクトオブマジック　スペシャルバトル「決死の防衛戦」攻略メモ

タクトオブマジック　スペシャルバトル「魔力の源泉」　攻略メモ

ただし、どうやって差分化するかで、「前進差分」「後進差分」「中央差分」とあるのですが、基本的に時間項（～/dt）は前進差分、空間項（～/dx、～/dy）には２次の中央差分を用いるとよいらしいです。（最初僕は空間項に前進差分を用いていて、解の安定条件がとても厳しくて爆発ばかりしてましたw）