hakatashi

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,

hakatashi

• たほいや対戦ログ 第1回～第100回
• たほいや対戦ログ 第101回～第200回
• たほいや対戦ログ 第201回～第300回
• たほいや対戦ログ 第301回～第400回
• たほいや対戦ログ 第401回～第500回
• たほいや対戦ログ 第501回～第600回
• たほいや対戦ログ 第601回～第700回
• たほいや対戦ログ 第701回～第800回
• たほいや対戦ログ 第801回～第900回
• たほいや対戦ログ 第901回～第1000回

hakatashi

from z3 import *

outputs = '011110100001111101000100001101011111010110000110100010101011101110110110100000101110000011101000001001011010100111000110100111011100001000010010111100000000000001001011000010110001001111111011100010010110101001000001110111111110000111110000010001011101101101100010111011101101001010110000001011010110011110011101001001000111101000011001100111001010011101100000011111001101001111000010000010101111000111101100000111010000010110100010011100111010001000100000000110100110110101110000110111111000001010111100000100110011001011100111101110011111001011110010000000101110010011001101101011101011001100111010101111010111011100011110111010001100111010100010110000101010100100010001010110101100101000111001111000111011000000001000001110100000110000101101110111000000000010011011'

initial_state = BoolVector('state', 64)
solver = Solver()

state = initial_state
for _ in range(512):
  new_state = [None] * 64

hakatashi

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

hakatashi

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

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

RubyとRailsののインストール

rbenvをインストール

# Mac

hakatashi

• たほいや対戦ログ 第1回～第100回
• たほいや対戦ログ 第101回～第200回
• たほいや対戦ログ 第201回～第300回
• たほいや対戦ログ 第301回～第400回
• たほいや対戦ログ 第401回～第500回
• たほいや対戦ログ 第501回～第600回
• たほいや対戦ログ 第601回～第700回
• たほいや対戦ログ 第701回～第800回
• たほいや対戦ログ 第801回～第900回
• たほいや対戦ログ 第901回～第1000回

hakatashi

「コンピュータアーキテクチャ」レポート課題

• 学生証番号: 03-170512
• 氏名: 高橋光輝

課題1

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

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

hakatashi

Resume of Koki Takahashi (English)

• Email: hakatasiloving@gmail.com
• Birth Date: 09/11/1994
• GitHub: https://github.com/hakatashi
• Qiita (Japanese): https://qiita.com/hakatashi
• Blog (Japanese): https://hakatashi.hatenadiary.com/

Education

hakatashi

• たほいや対戦ログ 第1回～第100回
• たほいや対戦ログ 第101回～第200回
• たほいや対戦ログ 第201回～第300回
• たほいや対戦ログ 第301回～第400回
• たほいや対戦ログ 第401回～第500回
• たほいや対戦ログ 第501回～第600回
• たほいや対戦ログ 第601回～第700回
• たほいや対戦ログ 第701回～第800回
• たほいや対戦ログ 第801回～第900回
• たほいや対戦ログ 第901回～第1000回

hakatashi

TSG実績一覧

Moved to https://sig.tsg.ne.jp/achievement-viewer/