Kotet kotet

## getlist.py
import tweepy
from progressbar import ProgressBar
from requests_oauthlib import OAuth1Session
import argparse
from time import sleep
import json

argparser = argparse.ArgumentParser()
argparser.add_argument("api_key")
argparser.add_argument("api_secret")

## LICENCE
この 作品 は クリエイティブ・コモンズ 表示 4.0 国際 ライセンスの下に提供されています。
http://creativecommons.org/licenses/by/4.0/

## LICENCE
この 作品 は クリエイティブ・コモンズ 表示 4.0 国際 ライセンスの下に提供されています。
http://creativecommons.org/licenses/by/4.0/

## DMAN
      ____
      L__L|
      /    \
    /        \
  / _______    \
  \ \#/  \/ \  /
   \|#| O| O|#\
    |#L _L__ #|
    |###|  |##|
    /###/  /##|

## binary.d
mixin template binary(T)
{
    mixin(() {
        import std.conv : to;
        import std.range : chain, only, iota;
        import std.string : rightJustify, format;

        string result = "";

        foreach (n; iota(0, T.max).chain(T.max.only))

## report-generator.sh
json=$(curl -s --header "PRIVATE-TOKEN: $REPORT_GENERATOR_TOKEN" https://gitlab.com/api/v4/projects/$PROJECT_ID/issues?state=opened)

len=$(echo $json | jq length)

echo '<head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"></head><body>'
echo "<h1>" $(date) "</h1>"

for i in $( seq 0 $(($len - 1)) ); do

    item=$(echo $json | jq ".[$i]")

## qm.d
// (a & b) + (¬a & c) → [[T,T,X],[N,X,T]]
enum Literal
{
    T, // Term
    N, // ¬Term
    X // Null
}

alias Conjunction = Literal[];
alias DNF = Conjunction[]; // Disjunctive normal form

## cramer.hs
import Data.List

-- 行列式
det :: [[Rational]] -> Rational
det [[a]] = a
det (a:b) | sum (map abs a) == 0 = 0
                  | head a == 0 = negate $ det (map (\ (a:b) -> b ++ [a]) (a:b))
                  | otherwise = (head a) * (det $ sub a b)
                  where sub a bs = map (\b -> tail(zipWith (\x y -> y - x * ((head b) / (head a))) a b)) bs

## kotet.svg

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                kotet
                / kotet.svg
            
            
              Created
              September 8, 2018 13:23
            
              
                Kotet (SVG)
              
          
      Sorry, something went wrong. Reload?
      Sorry, we cannot display this file.
      Sorry, this file is invalid so it cannot be displayed.
      
          Viewer requires iframe.
      
    
## mkws.sh
mkws() {
  local dhome="$HOME"
  local droot="workspace"
  local ddate="$(date '+%Y/%m-%d')"
  local dname="${1:-space}"
  local dseparator="."
  local dsalt="$(cat /dev/urandom | tr -dc 'a-z' | head -c 4)"

  local d="$dhome/$droot/$ddate/$dname$dseparator$dsalt"
  mkdir -p -v "$d"
	import tweepy
	from progressbar import ProgressBar
	from requests_oauthlib import OAuth1Session
	import argparse
	from time import sleep
	import json

	argparser = argparse.ArgumentParser()
	argparser.add_argument("api_key")
	argparser.add_argument("api_secret")
	この作品はクリエイティブ・コモンズ表示 4.0 国際ライセンスの下に提供されています。
	http://creativecommons.org/licenses/by/4.0/
	____
	L__L\|
	/ \
	/ \
	/ _______ \
	\ \#/ \/ \ /
	\\|#\| O\| O\|#\
	\|#L _L__ #\|
	\|###\| \|##\|
	/###/ /##\|
	mixin template binary(T)
	{
	mixin(() {
	import std.conv : to;
	import std.range : chain, only, iota;
	import std.string : rightJustify, format;

	string result = "";

	foreach (n; iota(0, T.max).chain(T.max.only))
	json=$(curl -s --header "PRIVATE-TOKEN: $REPORT_GENERATOR_TOKEN" https://gitlab.com/api/v4/projects/$PROJECT_ID/issues?state=opened)

	len=$(echo $json \| jq length)

	echo '<head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"></head><body>'
	echo "<h1>" $(date) "</h1>"

	for i in $( seq 0 $(($len - 1)) ); do

	item=$(echo $json \| jq ".[$i]")
	// (a & b) + (¬a & c) → [[T,T,X],[N,X,T]]
	enum Literal
	{
	T, // Term
	N, // ¬Term
	X // Null
	}

	alias Conjunction = Literal[];
	alias DNF = Conjunction[]; // Disjunctive normal form
	import Data.List

	-- 行列式
	det :: [[Rational]] -> Rational
	det [[a]] = a
	det (a:b) \| sum (map abs a) == 0 = 0
	\| head a == 0 = negate $ det (map (\ (a:b) -> b ++ [a]) (a:b))
	\| otherwise = (head a) * (det $ sub a b)
	where sub a bs = map (\b -> tail(zipWith (\x y -> y - x * ((head b) / (head a))) a b)) bs
	mkws() {
	local dhome="$HOME"
	local droot="workspace"
	local ddate="$(date '+%Y/%m-%d')"
	local dname="${1:-space}"
	local dseparator="."
	local dsalt="$(cat /dev/urandom \| tr -dc 'a-z' \| head -c 4)"

	local d="$dhome/$droot/$ddate/$dname$dseparator$dsalt"
	mkdir -p -v "$d"