- 日時 2021-01-23 22:51:28
- 参加者 @昆布(静養せえよー) @きつね @mug @しとお(azaika先生に1700円) たほいやAIくん1号 (仮) @Kazuki Ota たほいやAIくん2号 (仮) (7人)
- 出題者 @Szkieletor 演習3実装物アップロード
- キャラクターデザイナー
- 宋代の詩人
- パラオ諸島を主な生息地とする蛾
const Axios = require('axios'); | |
const qs = require('querystring'); | |
const https = require('https'); | |
const random = Array(10).fill().map(() => 'abcdefg'[Math.floor(Math.random() * 6)]).join(''); | |
(async () => { | |
const axios = Axios.create({ | |
httpsAgent: new https.Agent({ | |
rejectUnauthorized: false, |
require "big" | |
record Mint, value : BigInt do | |
MOD = BigInt.new("6722156186149423473586056936189163112345526308304739592548269432948561498704906497631759731744824085311511299618196491816929603296108414569727189748975204102209646335725406551943711581704258725226874414399572244863268492324353927787818836752142254189928999592648333789131233670456465647924867060170327150559233") | |
ZERO = BigInt.new("0") | |
ONE = BigInt.new("1") | |
TWO = BigInt.new("2") | |
def self.factorial(n) | |
if @@factorials.empty? |
import re | |
from sage.modules.free_module_integer import IntegerLattice | |
from math import sqrt, cos, pi | |
from PIL import Image | |
# Restore ZZs of original JPEG | |
qt = [ | |
16, 11, 10, 16, 24, 40, 51, 61, |
from z3 import * | |
outputs = '011110100001111101000100001101011111010110000110100010101011101110110110100000101110000011101000001001011010100111000110100111011100001000010010111100000000000001001011000010110001001111111011100010010110101001000001110111111110000111110000010001011101101101100010111011101101001010110000001011010110011110011101001001000111101000011001100111001010011101100000011111001101001111000010000010101111000111101100000111010000010110100010011100111010001000100000000110100110110101110000110111111000001010111100000100110011001011100111101110011111001011110010000000101110010011001101101011101011001100111010101111010111011100011110111010001100111010100010110000101010100100010001010110101100101000111001111000111011000000001000001110100000110000101101110111000000000010011011' | |
initial_state = BoolVector('state', 64) | |
solver = Solver() | |
state = initial_state | |
for _ in range(512): | |
new_state = [None] * 64 |
from sage.modules.free_module_integer import IntegerLattice | |
from random import randint | |
import sys | |
from itertools import starmap | |
from operator import mul | |
# Babai's Nearest Plane algorithm | |
# from: http://mslc.ctf.su/wp/plaidctf-2016-sexec-crypto-300/ | |
def Babai_closest_vector(M, G, target): | |
small = target |