Koki Takahashi hakatashi

TSG 初心者分科会 Web特講第2回「Webアプリケーション制作実習」

簡単なRailsアプリケーションを制作し、MVCモデルによる高度なウェブアプリケーションの仕組みを学ぶ。またVue.jsを用いたデータバインディングの仕組みを学ぶ。

rbenvをインストール

# Mac

この授業で設計したプロセッサのアセンブラを Perl で実装せよ

Perlで実装せよとあるが、講義において各々好きなプログラミング言語を用いてよいとの指示を受けたため、本課題では自らが得意とするRust言語を用いて実装を行った。

	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,

	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