This file contains hidden or 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
| # MIT LICENSE: Copyright (c) 2020, yanorei32 All rights reserved. | |
| import random | |
| base = list("でっどぷろとたいぷえちえちしすこんしゃっきん") | |
| def getName(length=4): | |
| return ''.join([random.choice(base) for _ in range(length)]) | |
| def main(): | |
| for _ in range(200): |
This file contains hidden or 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
| REVIEW_VERSION := 4.0 | |
| REVIEW_CONFIG_FILE ?= config.yml | |
| REVIEW_OUTPUT_TYPE ?= pdf | |
| REVIEW_BOOKNAME := Foo | |
| .DEFAULT_GOAL := help | |
| .PHONY: help | |
| help: | |
| @grep -E '^[a-zA-Z_-]+:.*?# .*$$' $(MAKEFILE_LIST) | sort | awk 'BEGIN {FS = ":[^#]*? #| #"}; {printf "%-18s%s\n", $$1 $$3, $$2}' |
This file contains hidden or 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 | |
| function show_progress() { | |
| echo -ne "\r" | |
| echo -n "`echo "scale=5; ($count / $total)*100" | bc`" | |
| } | |
| path="/" | |
| if [ -n "$1" ]; then |
This file contains hidden or 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
| using System; | |
| using System.Collections.Generic; | |
| using System.IO; | |
| using System.Text; | |
| using System.Text.RegularExpressions; | |
| using System.Diagnostics; | |
| using System.ComponentModel; | |
| using UnityEngine; | |
| using UnityEditor; |
This file contains hidden or 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 Yoneda where | |
| open import Function.Base using (_∘_) | |
| open import Relation.Binary.PropositionalEquality.Core using (_≡_) | |
| {- specialized Morphism to Haskell function, | |
| specialized Functor to Haskell Functor, | |
| Proof of Yoneda Lemma -} | |
| {- 射を Haskell の関数に、 | |
| 関手を Haskell の Functor に限定した場合の |
This file contains hidden or 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
| = 始まり | |
| 静寂な朝。 | |
| 白基調のログハウス、高さ5メートル、風がよく通った部屋。 | |
| 青くて白い、春の空。 | |
| //talkright[mu-smile]{ | |
| お風呂上がったよ〜。 | |
| //} |
This file contains hidden or 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 * as Untyped from 'tns-core-modules/data/observable' | |
| import deprecated from 'deprecated-decorator' // npm install --save-dev deprecated-decorator | |
| import { Field } from '@/data/conditional-types' | |
| /** | |
| * Don't dirty your hands. | |
| * You must use this instead of [[Untyped.Observable]]. | |
| * | |
| * This description is [here](http://aiya000.github.io/posts/2019-07-04-recover-nativescript-type-unsafe-observable.html). | |
| */ |
This file contains hidden or 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
| /** | |
| * SimpleExpandableListAdapterのコンストラクタが受け取る引数が | |
| * 何を言っているのか全然わからないので、 | |
| * 自然な形のやつ。 | |
| * | |
| * @param Child CShowによって表示可能な子 | |
| * @param clever リストアップされる親と子の木 | |
| * @param CShow 子を表示する方法 | |
| */ | |
| class BasicDataExpandableListAdapter<Child>( |
This file contains hidden or 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
| #!/bin/env stack | |
| {- | |
| stack --resolver=lts-12.24 script --package extensible | |
| -} | |
| {-# LANGUAGE DataKinds #-} | |
| {-# LANGUAGE OverloadedLabels #-} | |
| {-# LANGUAGE PolyKinds #-} | |
| {-# LANGUAGE TypeOperators #-} | |
| {-# LANGUAGE GADTs #-} |