kdxu

#pragma strict

function Start () {

}

function Update () {

}

kdxu

using UnityEngine;
using System.Collections;

public class Player : MonoBehaviour
{
        // 移動スピード
        public float speed = 5;

        void Update ()
        {

kdxu

#pragma strict
public var nowIsFrame : boolean = false;
public var b : boolean = false;
private var nowMouseDown : boolean = false;
private var isgoal : boolean = false;
private var speed : float = 1.0f;
private var position : Vector3;
private var screenToWorldPointPosition : Vector3;
function Start () {
    b = false;

kdxu

using UnityEngine;
using System.Collections;

public class Player : MonoBehaviour
{
        // 移動スピード
        public float speed = 5;

        void Update ()
        {

kdxu

#pragma strict
private var startTime:float;
private var lapTime:float;
var score : int = 0;
private var max : int;
private var maxs : int = 60;
private var stop : boolean = false;
private var style : GUIStyle; 
function Update () {
    if (score >= max || lapTime >= maxs) {

kdxu

//
//  DBAccess.m
//  enpittest
//
//  Created by SayuriAnbe on 2014/08/27.
//  Copyright (c) 2014年 SayuriAnbe. All rights reserved.
//

#import "DBAccess.h"

kdxu

- (void)imagePickerController:(UIImagePickerController *)picker didFinishPickingMediaWithInfo:(NSDictionary *)info{
    // Pathを取得
    UIImage *pickedImage = (UIImage *)[info objectForKey:UIImagePickerControllerOriginalImage];
    if (pickedImage) {
        NSData *data = [[NSData alloc] initWithData:UIImagePNGRepresentation(pickedImage)];
        [DBAccess updatePic:@{@"cl_id":[NSString stringWithFormat:@"%d",cl_id], @"pic":data}];
    }

    // モーダルビューを閉じる
    if (![_cameraviewcontroller.presentedViewController isBeingDismissed]) {

kdxu

 private module H = ≅-Reasoning
 
 Γ5 : Cxt {1 + m2} n
 Γ5 = substCxt (σ2' ⊹⊹ σ1') (liftCxt (count (App s1 s2)) Γ)
 
 -- として，
 
 eq : Γ3 ≅ Γ4
                        eq =
                          H.begin

kdxu

module A2 where

open import Data.Nat
open import Data.Bool hiding(_∧_;_∨_)

------------------------------------------------------

-- ⊥ は証明がひとつもないような命題だから, 空集合によって表す
-- 帰納的定義によって次のように表現することができる
data ⊥ : Set where

kdxu

module A2 where

------------------------------------------------------
-- 一階命題論理

-- まずは，ふつうの命題論理から


-- 真(⊤)，偽(⊥)の定義が必要
-- ⊥ は証明がひとつもないような命題だから, 空集合によって表す