- ソフトウェアエンジニアで、Web開発者で、正社員
- 4年ほど在宅ワーク
- 29 歳
- 1 人暮らし
4 台利用している
{ | |
"global": { | |
"check_for_updates_on_startup": true, | |
"show_in_menu_bar": true, | |
"show_profile_name_in_menu_bar": false | |
}, | |
"profiles": [ | |
{ | |
"complex_modifications": { | |
"parameters": { |
#include "lets_split.h" | |
#include "pro_micro.h" | |
#include "action_layer.h" | |
#include "eeconfig.h" | |
#include "keymap_jp.h" | |
extern keymap_config_t keymap_config; | |
#define QWERTY 0 | |
#define LOWER 1 |
#include "lets_split.h" | |
#include "pro_micro.h" | |
#include "action_layer.h" | |
#include "eeconfig.h" | |
#include "keymap_jp.h" | |
extern keymap_config_t keymap_config; | |
#define QWERTY 0 | |
#define LOWER 1 |
if &compatible | |
set nocompatible | |
endif | |
" dein.vim | |
set runtimepath+=$HOME/.cache/dein/repos/github.com/Shougo/dein.vim | |
if dein#load_state(expand('~/.cache/dein/')) | |
call dein#begin(expand('~/.cache/dein/')) | |
call dein#add('Shougo/dein.vim') |
/* @private */ | |
import { traceLog, getVideoCodecsFromString, removeCodec, browser } from '../utils'; | |
import { ConnectionOptions, VideoCodecOption } from './options'; | |
/** | |
* @ignore | |
*/ | |
interface AyameRegisterMessage { | |
type: string; | |
roomId: string; |
2019-09-11 16:03:41.935 16885-16885/com.helloayame W/com.helloayame: type=1400 audit(0.0:879): avc: denied { read } for comm=45474C20496E6974 name="u:object_r:vendor_default_prop:s0" dev="tmpfs" ino=22247 scontext=u:r:untrusted_app:s0:c156,c256,c512,c768 tcontext=u:object_r:vendor_default_prop:s0 tclass=file permissive=0 | |
2019-09-11 16:03:41.940 16885-16901/com.helloayame E/libc: Access denied finding property "vendor.debug.egl.profiler" | |
2019-09-11 16:03:42.062 16885-16885/com.helloayame W/com.helloayame: Accessing hidden method Ldalvik/system/CloseGuard;->get()Ldalvik/system/CloseGuard; (light greylist, reflection) | |
2019-09-11 16:03:42.062 16885-16885/com.helloayame W/com.helloayame: Accessing hidden method Ldalvik/system/CloseGuard;->open(Ljava/lang/String;)V (light greylist, reflection) | |
2019-09-11 16:03:42.062 16885-16885/com.helloayame W/com.helloayame: Accessing hidden method Ldalvik/system/CloseGuard;->warnIfOpen()V (light greylist, reflection) | |
2019-09-11 16:03:42.141 16885-16885/com.helloayame W/com.hell |
module nat where | |
open import Data.Nat | |
open import Data.Nat.Properties | |
open import Data.Product | |
open import Relation.Nullary using (¬_) | |
open import Relation.Binary using (DecTotalOrder) | |
open import Relation.Binary.PropositionalEquality | |
--------------------------------------------------------------- |