プログラマ専用SNS ミクプラ

コード:

 
#include "DxLib.h"
 
 
int Key[256]; // キーが押されているフレーム数を格納する
 
// キーの入力状態を更新する
int gpUpdateKey(){
    char tmpKey[256]; // 現在のキーの入力状態を格納する
    GetHitKeyStateAll( tmpKey ); // 全てのキーの入力状態を得る
    for( int i=0; i<256; i++ ){ 
        if( tmpKey[i] != 0 ){ // i番のキーコードに対応するキーが押されていたら
            Key[i]++;     // 加算
        } else {              // 押されていなければ
            Key[i] = 0;   // 0にする
        }
    }
    return 0;
}
 
 
int WINAPI WinMain( HINSTANCE hInstance, HINSTANCE hPrevInstance,
                        LPSTR lpCmdLine, int nCmdShow )
{
    ChangeWindowMode(TRUE), DxLib_Init(), SetDrawScreen( DX_SCREEN_BACK ); //ウィンドウモード変更と初期化と裏画面設定
    MessageBox(NULL,_T("test"),_T("winapp"),MB_OK);
 
    SetWindowText("円高ゲーム");
    int now = 200;
    float gravity = 0.15f;
    float engine = -0.30f;
    float speed = 0;
 
        int hitachi;
        hitachi = LoadGraph("media/pic/hitachi05.png");
        
    while( ScreenFlip()==0 && ProcessMessage()==0 && ClearDrawScreen()==0  && gpUpdateKey()==0  ){
 
        
        float raccel = 0;
        DrawGraph(320,now,hitachi,TRUE);
            if( Key[ KEY_INPUT_SPACE ] > 0 ){
                    // スペースキーが押された瞬間だけ処理ではなく押されている間中処理
                    raccel = engine;
 
                }
                //Key[ KEY_INPUT_SPACE ] = Key[ KEY_INPUT_SPACE ]%1;
                speed +=raccel + gravity;//重力おまけ付なし
                now += (int)speed;//
 
 
        
 
        }
    DxLib_End() ;
    return 0;
}

コード:

int DrawGraphWoSurukansuu( int x, int y, int GrHandle, int TransFlag ) 
{
	DrawGraph(x,y,GrHandle,TransFlag);
}

	//呼び出し
	DrawGraphWoSurukansuu(320,now,hitachi,TRUE);

コード:

#include <stdio.h>
void swap(int x,int y)
{
	int temp;
	printf("x=%d y=%d\n",x,y);
	temp=x;
	x=y;
	y=temp;
	printf("x=%d y=%d\n",x,y);
}
int main(void)
{
	int a=5,b=8;
	printf("a=%d b=%d\n",a,b);
	swap(a,b);
	printf("a=%d b=%d\n",a,b);
	return 0;
}

コード:

#include <stdio.h>

void func(int n, int 100)
{
	println("%d", n);
	println("%d", 100);
}

int main()
{
	int a = 0, b = 0;

	func(a, b);
}

コード:

#include <stdio.h>

void func(int n)
{
	println("%d", n);
}

int main()
{
	func(n);
}

コード:

#include <stdio.h>
void swap(10,15)
{
    int temp;
    printf("%d %d\n",10,15);
}
int main(void)
{
    swap(5,8);
    printf("%d %d\n",5,8);
    return 0;
}

コード:

命題:Aが間違っていることを証明する。

背理法を用いる。
Aが正しいと仮定する。

Aに基づいて次のプログラムが導ける。
(プログラム略・このプログラムはAの主張を忠実に再現した物とし、Aの主張箇所を除いて間違いは存在していないものとする。)

Aは正しいのでこのプログラムも正しいはずである。

ゆえに、このプログラムは言語仕様を満たしており(1)、実行結果もAの主張と一致することになる。

(1)について、言語仕様を満たしているということは、言語仕様を満たしているコンパイラでコンパイルするとコンパイルに成功するはずである。
しかしAの主張箇所に関してコンパイルエラーが発生した。
(使用するコンパイラが言語仕様を満たしているかについては省略)

これは矛盾である。
よって、Aは正しくない、つまりAは間違っているということが証明された。

コード:

#include <stdio.h>
void swap(int x,int y)
{
    int temp;
    printf("x=%d y=%d\n",x,y);
    temp=x;
    x=y;
    y=temp;
    printf("x=%d y=%d\n",x,y);
}
int main(void)
{
    int a=5,b=8;
    printf("a=%d b=%d\n",a,b);
    swap(a,b);
    printf("a=%d b=%d\n",a,b);
    return 0;
}

コード:

#include <stdio.h>
void swap(int *x,int *y)
{
    int temp;
    printf("x=%d y=%d\n",*x,*y);
    temp=*x;
    *x=*y;
    *y=temp;
    printf("x=%d y=%d\n",*x,*y);
}
int main(void)
{
    int a=5,b=8;
    printf("a=%d b=%d\n",a,b);
    swap(&a,&b);
    printf("a=%d b=%d\n",a,b);
    return 0;
}

コード:

#include <stdio.h>
void swap(int &x,int &y)
{
    int temp;
    printf("x=%d y=%d\n",x,y);
    temp=x;
    x=y;
    y=temp;
    printf("x=%d y=%d\n",x,y);
}
int main(void)
{
    int a=5,b=8;
    printf("a=%d b=%d\n",a,b);
    swap(a,b);
    printf("a=%d b=%d\n",a,b);
    return 0;
}