ncaq

## world-info.css
svg {
    width: 100%;                /*firefoxでは不要だが,Chromeでは必要*/
    height: 100%;
}

circle {
    fill: red;
    opacity: 0.4;
}

## contactFree.html
<!doctype html>
<html>
  <head>
    <meta charset="UTF-8"/>
    <title>簡単なアドレス帳</title>
    <script src="https://ajax.googleapis.com/ajax/libs/jquery/2.1.4/jquery.js"></script>
    <script src="contactFree.js"></script>
  </head>
  <body>
    <form id="preEdit" itemscope itemtype="http://microformats.org/profile/hcard">

## senshu-login.py
#!/usr/bin/env python3

from urllib.parse import urlencode
import os
import pycurl
import sys

ssid='SENSHUWL'
auth_url='https://wcgw.senshu-u.ac.jp/cgi-bin/login'
user='ne260258'

## t2017.hs
import           Data.List
import           Numeric

main :: IO ()
main = mapM_ (\(a, b, r) -> putStrLn $ concat
                 [ "# ", show a, " ", show b, " ", showLongFloat r, "\n"
                 , "0 0 ", showLongFloat r, "\n"
                 , show a, " 0 ", showLongFloat r, "\n"
                 , showLongFloat $ fromIntegral b * cos r, " "
                 , showLongFloat $ fromIntegral b * sin r, " "

## wspace.rb
# coding: utf-8
require 'strscan'
require 'tempfile'

S = " ".freeze
T = "\t".freeze
L = "\n".freeze
STL = (S + T + L).freeze

class Wspace

## river.maude
mod RIVER is
    sorts Item ItemSet River .
    subsort Item < ItemSet < River .

    ops empty you wolf sheep cabbage : -> Item [ctor] .
    op __ : ItemSet ItemSet -> ItemSet [ctor assoc comm id: empty] .
    op river(_, _) : ItemSet ItemSet -> River [ctor] .

    var S : ItemSet .
    op dead : ItemSet -> Bool .

## elevator.maude
mod ELEVATOR is
    protecting LIST{Nat} .
    sorts Elevator Floor FloorMap Bill .
    subsort Floor < FloorMap .
    subsort Elevator < Bill .

    var B : Bill .
    var F : Floor .
    var FS : FloorMap .
    vars L PS EPS : List{Nat} .

## fib.maude
fmod fib is
    protecting INT .

    var N : Nat .
    op fib_ : Nat -> Nat .
    eq fib(N) = head(fibs(N)) .

    protecting LIST{Nat} .
    op fibs : Nat -> List{Nat} .
    eq fibs(0) = 0 .

## fact.maude
fmod fact is
    protecting INT .
    var N : Nat .
    op fact_ : Nat -> Nat .
    eq fact(0) = 1 .
    eq fact(N) = fact(N - 1) * N .
endfm

## CommandRank.hs
import           Control.Applicative ()
import           Control.Monad
import           Data.Char
import           Data.List
import           Data.List.Split
import qualified Data.Map            as M
import           Data.Monoid
import           Data.Ord            ()
import qualified Data.Set            as S
import           System.Directory
	svg {
	width: 100%; /firefoxでは不要だが,Chromeでは必要/
	height: 100%;
	}

	circle {
	fill: red;
	opacity: 0.4;
	}
	<!doctype html>
	<html>
	<head>
	<meta charset="UTF-8"/>
	<title>簡単なアドレス帳</title>
	<script src="https://ajax.googleapis.com/ajax/libs/jquery/2.1.4/jquery.js"></script>
	<script src="contactFree.js"></script>
	</head>
	<body>
	<form id="preEdit" itemscope itemtype="http://microformats.org/profile/hcard">
	#!/usr/bin/env python3

	from urllib.parse import urlencode
	import os
	import pycurl
	import sys

	ssid='SENSHUWL'
	auth_url='https://wcgw.senshu-u.ac.jp/cgi-bin/login'
	user='ne260258'
	import Data.List
	import Numeric

	main :: IO ()
	main = mapM_ (\(a, b, r) -> putStrLn $ concat
	[ "# ", show a, " ", show b, " ", showLongFloat r, "\n"
	, "0 0 ", showLongFloat r, "\n"
	, show a, " 0 ", showLongFloat r, "\n"
	, showLongFloat $ fromIntegral b * cos r, " "
	, showLongFloat $ fromIntegral b * sin r, " "
	# coding: utf-8
	require 'strscan'
	require 'tempfile'

	S = " ".freeze
	T = "\t".freeze
	L = "\n".freeze
	STL = (S + T + L).freeze

	class Wspace
	mod RIVER is
	sorts Item ItemSet River .
	subsort Item < ItemSet < River .

	ops empty you wolf sheep cabbage : -> Item [ctor] .
	op __ : ItemSet ItemSet -> ItemSet [ctor assoc comm id: empty] .
	op river(_, _) : ItemSet ItemSet -> River [ctor] .

	var S : ItemSet .
	op dead : ItemSet -> Bool .
	mod ELEVATOR is
	protecting LIST{Nat} .
	sorts Elevator Floor FloorMap Bill .
	subsort Floor < FloorMap .
	subsort Elevator < Bill .

	var B : Bill .
	var F : Floor .
	var FS : FloorMap .
	vars L PS EPS : List{Nat} .
	fmod fib is
	protecting INT .

	var N : Nat .
	op fib_ : Nat -> Nat .
	eq fib(N) = head(fibs(N)) .

	protecting LIST{Nat} .
	op fibs : Nat -> List{Nat} .
	eq fibs(0) = 0 .
	fmod fact is
	protecting INT .
	var N : Nat .
	op fact_ : Nat -> Nat .
	eq fact(0) = 1 .
	eq fact(N) = fact(N - 1) * N .
	endfm
	import Control.Applicative ()
	import Control.Monad
	import Data.Char
	import Data.List
	import Data.List.Split
	import qualified Data.Map as M
	import Data.Monoid
	import Data.Ord ()
	import qualified Data.Set as S
	import System.Directory