- .ignore
- ClangFormatIJ
- CodeGlance
- CSV Editor
- File Manager
- Go
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
version: 2.1 | |
commands: | |
buildimage: | |
description: "Build docker image" | |
steps: | |
- checkout | |
- setup_remote_docker | |
- run: | |
name: "Install git command" | |
command: "apk add git" |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#use "topfind";; | |
#thread;; | |
(* Input from file *) | |
let input_file filename = | |
let file = open_in filename in | |
let rec input_lines result = | |
match input_line file with | |
| line -> input_lines (line :: result) | |
| exception _ -> |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
// Place your settings in this file to overwrite the default settings | |
{ | |
"editor.fontWeight": "normal", | |
// Controls the font size. | |
"editor.fontSize": 16, | |
// Controls the line height. Use 0 to compute the lineHeight from the fontSize. | |
"editor.lineHeight": 0, |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
let fizzbuzz first last = | |
let rec print current = | |
if current <= last then | |
match current with | |
| _ when current mod 15 = 0 -> | |
print_endline "FizzBuzz"; | |
print (current + 1) | |
| _ when current mod 5 = 0 -> | |
print_endline "Buzz"; | |
print (current + 1) |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
for (let i = 1; i <= 100; ++i) { | |
if (i % 15 === 0) { | |
console.log("FizzBuzz"); | |
} else if (i % 5 === 0) { | |
console.log("Buzz"); | |
} else if (i % 3 === 0) { | |
console.log("Fizz"); | |
} else { | |
console.log(i); | |
} |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<?php | |
namespace Karmia\Helper\Normalize; | |
/** | |
* Normalize values | |
* | |
* @author fujimaki-k | |
* @param array $array | |
* @return array |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
EMAIL="OLD@EMAIL" | |
GIT_NAME="NEW NAME" | |
GIT_EMAIL="NEW@EMAIL" | |
git filter-branch --commit-filter ' | |
if [ "$GIT_AUTHOR_EMAIL" = "$EMAIL" ]; | |
then | |
GIT_AUTHOR_NAME="$GIT_NAME"; | |
GIT_AUTHOR_EMAIL="$GIT_EMAIL"; | |
GIT_COMMITER_NAME="$GIT_NAME"; |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
平成28年(2016年) | 平成29年(2017年) | 平成30年(2018年) | ||||
---|---|---|---|---|---|---|
名称 | 月日 | 名称 | 月日 | 名称 | 月日 | |
元日 | 2016/1/1 | 元日 | 2017/1/1 | 元日 | 2018/1/1 | |
成人の日 | 2016/1/11 | 成人の日 | 2017/1/9 | 成人の日 | 2018/1/8 | |
建国記念の日 | 2016/2/11 | 建国記念の日 | 2017/2/11 | 建国記念の日 | 2018/2/11 | |
春分の日 | 2016/3/20 | 春分の日 | 2017/3/20 | 春分の日 | 2018/3/21 | |
昭和の日 | 2016/4/29 | 昭和の日 | 2017/4/29 | 昭和の日 | 2018/4/29 | |
憲法記念日 | 2016/5/3 | 憲法記念日 | 2017/5/3 | 憲法記念日 | 2018/5/3 | |
みどりの日 | 2016/5/4 | みどりの日 | 2017/5/4 | みどりの日 | 2018/5/4 | |
こどもの日 | 2016/5/5 | こどもの日 | 2017/5/5 | こどもの日 | 2018/5/5 |