This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| type variable = string | |
| type formula = | |
| Equal of variable * variable | |
| | Epsilon of variable * variable | |
| | Imply of formula * formula | |
| | Not of formula | |
| | And of formula * formula | |
| | Or of formula * formula | |
| | Forall of variable * formula |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| using System; | |
| namespace ConsoleApp1 | |
| { | |
| class Interpreter | |
| { | |
| ushort af; | |
| ushort bc; | |
| ushort de; | |
| ushort hl; |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| from sympy import * | |
| from functools import reduce | |
| import operator | |
| x, t = symbols('x t') | |
| def gosper_form(u_1, u_2): | |
| res = resultant(u_1, u_2.subs(x, x + t), x) | |
| roots = poly(res, t).all_roots() | |
| int_roots = [rt for rt in roots if rt.is_Integer and rt > 0] | |
| if int_roots == []: |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 26 de 2e a3 7f 50 3e 0f 2f 32 7f 50 3e 1c 87 32 | |
| 7f 50 3e 98 2f 32 7f 50 26 df 2e 0a af 50 11 e3 | |
| c3 85 7f 50 cd d3 de af 85 50 cd d8 de 1c 2a 50 | |
| 2b cd d3 de 2a 50 2b cd d8 de 7f 50 cd 7f 7f 7f | |
| b3 50 cb 47 c4 c1 de 50 cb 7f c4 c4 de 50 0f 0f | |
| 0f cb 47 50 c4 c6 de 7f 7f 50 c3 80 de 34 c9 50 | |
| 2b c9 d1 c9 7f 50 06 c3 7f 7f 7f 50 12 1c c9 0f | |
| 0f 50 0f 0f 06 0f a0 50 06 0a b8 30 0a 50 c6 48 | |
| c6 ae 7f 50 c3 ca de c6 2b 50 c6 2b 47 7f 7f 50 | |
| c3 ca de |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| が ん ぜ ョ 空 Q | |
| ぼ ダ ぞ づ 空 Q | |
| ぼ ボ ク づ 空 Q | |
| ぼ ノ ぞ づ 空 Q | |
| が ん ぜ は 空 Q | |
| ぼ ケ ぞ づ 空 Q | |
| が れ ぜ 空 ョ Q | |
| ヅ ー て カ 空 Q | |
| へ る ん ョ カ Q | |
| へ ん ん ボ ご Q |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 操作方法 | |
| Aボタン:値をインクリメント | |
| Bボタン:押し続けている間値をインクリメント | |
| 下ボタン:アドレスデクリメント | |
| セレクトボタン:終わる | |
| D985hはjp DE64でもjp DE82でもOK。 | |
| ぼ ダ ぞ が ん Q |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 使い方 | |
| サファリボールの残数は0とする。 | |
| 育て屋に預けるポケモンのニックネームは「ーてて空ん」にし、預けたままにする。 | |
| ボックスのポケモンの名前は1匹目から表1の通りとする。 | |
| なかよしバッヂを使う。 | |
| ミニバイナリエディタが起動する。 | |
| 操作方法 | |
| 表示される4桁のうち上2桁はアドレスの下2桁。 | |
| 表示される4桁のうち下2桁は中身。 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| de64から: | |
| 3e 0f 2f e1 32 50 c6 48 32 c6 2f 50 32 11 e3 c3 | |
| d5 50 26 d9 2e 84 45 50 c3 ba de af c5 50 28 e0 | |
| 34 c9 af 50 3d c3 99 de 7f 50 3e 0f 2f 7f 7f 50 | |
| c3 99 de 3e 10 50 86 32 2a af c9 50 cb 30 3e 0f | |
| a0 50 c6 48 c6 ae 7f 50 30 06 c6 30 7f 50 c6 30 | |
| 06 c3 1c 50 12 c9 d1 d5 45 50 cd a0 de 45 7f 50 | |
| cd a2 de 1c 46 50 cd a0 de 46 7f 50 cd a2 de cd | |
| 7f 50 7f b3 cb 47 7f 50 c4 9c de cb 7f 50 c4 86 | |
| de 07 07 50 cb 47 c4 84 de 50 cb 7f c4 8c de 50 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| event.onmemoryexecute(function () | |
| if memory.read_u8(0x4d06) == 0x32 then | |
| local de = emu.getregister("D") * 256 + emu.getregister("E") | |
| local hl = emu.getregister("H") * 256 + emu.getregister("L") | |
| local a = emu.getregister("A") | |
| print(string.format("%d-th pokemon poison addr=%04x (%02x -> %02x)", de - 0xd124 + 1, hl, memory.read_u8(hl), a)) | |
| end | |
| end, 0x4D06) | |
| event.onmemoryexecute(function () | |
| if memory.read_u8(0x4D47) == 0x21 then |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| de64から: | |
| 3e 0f 2f e1 32 50 c6 48 32 c6 2f 50 32 11 e3 e3 | |
| d5 50 26 d9 2e b3 45 50 c3 ba de af c5 50 28 e0 | |
| 34 c9 af 50 3d c3 96 de 7f 50 3e d0 c3 96 de 50 | |
| 3e 10 86 32 2a 50 af c9 2b c9 7f 50 cb 30 3e 0f | |
| a0 50 c6 48 c6 ae 7f 50 30 06 c6 30 7f 50 c6 30 | |
| 06 c3 1c 50 12 c9 cd 31 0b 50 d1 d5 45 7f 7f 50 | |
| cd a0 de 45 7f 50 cd a2 de 1c 46 50 cd a0 de 46 | |
| 7f 50 cd a2 de cd cd 50 b3 b3 cb 47 7f 50 c4 98 | |
| de cb 7f 50 c4 86 de 07 07 50 cb 47 c4 84 de 50 |