// タイマーサンプル
#include "mbed.h"
Timer t;			//タイマーオブジェクト　t
int main() {
    t.start();
    printf("Timer, GO printf()!\r\n");
    t.stop();
    printf("The time taken was %f seconds\r\n", t.read());
    printf("The time taken was %d milli seconds\r\n", t.read_ms());
    printf("The time taken was %d micro seconds\r\n", t.read_us());
}
//プログラムEND