ayu-mushi

ポートフォリオ

• Blind Painter
  • ALifeGameJam2019というイベントで共同開発した
• 将棋ができるLINE bot
  • Haskellの Scotty で作成
• Brainfuck コンパイラ
• Parasite Aging
• 動物に憑依できる人工生命ゲーム

ayu-mushi

This is an OpenPGP proof that connects my OpenPGP key to this Github account. For details check out https://keyoxide.org/guides/openpgp-proofs

[Verifying my OpenPGP key: openpgp4fpr:C7949B42D75219A0C3B611D4E3B8FE36F98C92E7]

ayu-mushi

import datetime
#import time

n=int(input("タスク数を入れてね: "))
tasks = list(range(n))
for i in range(n):
  tasks[i] = input(str(i) + "番目のタスクは:")

task_time=datetime.datetime.now()+datetime.timedelta(minutes=1)
for i in range(n):

ayu-mushi

#!/usr/bin/bash

# 参考
# [ノートパソコン - ArchWiki https://wiki.archlinux.jp/index.php/%E3%83%8E%E3%83%BC%E3%83%88%E3%83%91%E3%82%BD%E3%82%B3%E3%83%B3]
# /usr/lib/systemd/system-sleep のフック

# [Custom xrandr settings are reset on wake up (resume) SOLVED - Linux Mint Forums https://forums.linuxmint.com/viewtopic.php?t=288050]

case $1/$2 in
  post/*) 

ayu-mushi

#!/usr/bin/env python2
# -*- coding: utf-8- -*-

# URLを受けとってはてなブックマークの情報を返す

import urllib2
import argparse
import json

def bukome(args):

ayu-mushi

[Unit]
Description=Disable devices as wakeup

[Service]
ExecStart=/usr/local/bin/disable_auto_resume_of_suspend.sh
Type=oneshot

[Install]
WantedBy=multi-user.target

ayu-mushi

from datetime import datetime


#print(datetime.now().time().second)

kisyo = int(input("起床時刻: "))

# 朝ご飯
print("朝ご飯:",(kisyo+1)%24, "時")

ayu-mushi

import Data.Monoid (Sum(Sum))

-- i をインクリメントする処理を分離できないか
--https://atcoder.jp/contests/abc162/tasks/abc162_d の間違った(TLEする)実装

syouhi0 :: (Monoid m, Eq a) => Int -> (Int -> Int -> Int -> m) -> [a] -> m
syouhi0 i f [x,y] = mempty
syouhi0 i f (x:xs) = (syouhi1 (i+1) (f i) 0 x xs) `mappend` (syouhi0 (i+1) f xs)

syouhi1 :: (Monoid m, Eq a) => Int -> (Int -> Int -> m) -> Int -> a -> [a] -> m

ayu-mushi

From mathcomp Require Import all_ssreflect.
Set Implicit Arguments.

Lemma eq (p q r : Prop): (p <-> q) -> ((p -> r) <-> (q -> r)).
Proof.
  move => [pq qp].
  split.
  move => pr q0.
  apply pr.
  apply qp.

ayu-mushi

module Main exposing (main)

import Browser
import Browser.Events exposing (onAnimationFrameDelta)
import Canvas exposing (rect, shapes)
import Canvas.Settings exposing (fill)
import Canvas.Settings.Advanced exposing (rotate, transform, translate)
import Color
import Html exposing (Html, div)
import Html.Attributes exposing (style)