frodo821

AEDi アプリケーション計画書

目次

1. 要件
2. タスクリスト

要件

アプリケーションに求められる要件をまとめる。

frodo821

apply plugin: 'com.android.application'
apply plugin: 'kotlin-android'
apply plugin: 'kotlin-android-extensions'

android {
    compileSdkVersion 26
    defaultConfig {
        applicationId "xyz.tech-frodo.dependencyTest"
        minSdkVersion 26
        targetSdkVersion 26

frodo821

from sys import stdout as sys

n, q = map(int, input().split())
k = list("abcdefghijklmnopqrstuvwxyz"[:n])
cn = 0

memo = {}

def comp(a, b):
  global cn

frodo821

#!/usr/bin/env python
# encoding: utf-8
"""
groom.py

Created by Frodo on 10/26/19.
Copyright (c) 2019 Frodo. All rights reserved.
"""

import sys

frodo821

#-*-coding: utf-8;-*-

from sys import argv, exit
from os import chdir
from os.path import (
  expanduser as usr,
  exists, abspath)

from abc import ABC, abstractmethod as abstract
from atexit import register

frodo821

from functools import wraps
from time import sleep, time
from concurrent.futures import ThreadPoolExecutor

__all__ = ['Cancelled', 'Promise', 'asyncfun', 'promisify']

class Cancelled(BaseException):
  pass

def asyncfun(cor):

frodo821

from sys import argv
from zipfile import ZipFile
from lxml import etree

def read(document):
  with ZipFile(document) as zf:
    with zf.open('word/document.xml') as doc:
      return etree.fromstring(doc.read())

def process(tree, prevent_indentations=('「', '(', '"', "'")):

frodo821

from re import match

def validateEmail(email):
  valid = 'abcdefghijklmnopqrstuvwxyz1234567890!#$%&\'*+-/=?^_`{}|~'
  if not email:
    return False
  email = email.lower()
  if email.startswith('"'):
    i = 1
    while i < min(64, len(email)):

frodo821

Require Import List.
Import ListNotations.

Fixpoint reversed { A: Type } (xs: list A) :=
  match xs with
  | nil => nil
  | x :: xs' => reversed xs' ++ [x]
end.

Lemma reversed_sub: 

frodo821

interface Conditional<T> {
  then: (expr: () => T) => Conditional<T>;
  fail: (expr: () => T) => Conditional<T>;
  result: () => T | undefined;
}

export default function cond<T>(condition: boolean): Conditional<T> {
  let res: T | undefined;

  return {