- Blind Painter
- ALifeGameJam2019というイベントで共同開発した
- 将棋ができるLINE bot
- Haskellの Scotty で作成
- Brainfuck コンパイラ
- Parasite Aging
- 動物に憑依できる人工生命ゲーム
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]
This file contains 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
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): |
This file contains 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
#!/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/*) |
This file contains 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
#!/usr/bin/env python2 | |
# -*- coding: utf-8- -*- | |
# URLを受けとってはてなブックマークの情報を返す | |
import urllib2 | |
import argparse | |
import json | |
def bukome(args): |
This file contains 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
[Unit] | |
Description=Disable devices as wakeup | |
[Service] | |
ExecStart=/usr/local/bin/disable_auto_resume_of_suspend.sh | |
Type=oneshot | |
[Install] | |
WantedBy=multi-user.target |
This file contains 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 datetime import datetime | |
#print(datetime.now().time().second) | |
kisyo = int(input("起床時刻: ")) | |
# 朝ご飯 | |
print("朝ご飯:",(kisyo+1)%24, "時") |
This file contains 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
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 |
This file contains 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 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. |
This file contains 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
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) |
NewerOlder