<C-E>s1
か <C-E>s6
で現在行をセクション変換にできる。(現在行をセクションに変換する)
デフォルトでは、セクションに使用する文字は、 = - ~ " ' ` の順
セクションへのリンク(例: `セクション`_
)上で、Enter
を押下でセクションへジャンプできる。
grid-tableの作成や編集がかなり楽に出来る。
fun runs(a : IntArray) : Int { | |
return a.zip(a.drop(1)).count { it.first != it.second } + 1 | |
} |
package yank | |
fun runs(a: IntArray): Int { | |
return a.answer({(i: Int): Boolean -> i < a.size && a.get(i) != a.get(i + 1) }) | |
} | |
fun IntArray.answer(filter: (i: Int) -> Boolean): Int { | |
var result = | |
when (this.size) { | |
0 -> 0 |
import java.util.Random | |
private val INPUT = arrayListOf("ジョ", "ン", "ボ", "ヴィ") | |
private val RANDOM = Random() | |
fun main(args: Array<String>) { | |
var count = 0 | |
val generator: () -> String = { | |
count++ | |
stream {() -> RANDOM.nextInt(INPUT.size) } |
package gist; | |
import java.io.Serializable; | |
import java.util.Arrays; | |
import java.util.List; | |
import java.util.Random; | |
import java.util.function.Supplier; | |
import java.util.stream.Collectors; | |
import java.util.stream.Stream; |
package gist; | |
import java.util.Arrays; | |
import java.util.List; | |
import java.util.Random; | |
import java.util.function.Supplier; | |
import java.util.stream.Collectors; | |
public class BonJobi { |
package fibo | |
fun fibo(max:Int):Stream<Pair<Int, Int>> { | |
return stream(Pair(0, 1)) { | |
val next = it.first + it.second | |
if (next < max) { | |
Pair(it.second, next) | |
} else { | |
null | |
} |
<?xml version="1.0" encoding="UTF-8"?> | |
<scheme name="siosioColor" version="124" parent_scheme="Default"> | |
<option name="LINE_SPACING" value="1.1" /> | |
<option name="EDITOR_FONT_SIZE" value="15" /> | |
<option name="CONSOLE_LINE_SPACING" value="1.0" /> | |
<option name="EDITOR_QUICK_DOC_FONT_SIZE" value="MEDIUM" /> | |
<option name="EDITOR_FONT_NAME" value="Ricty" /> | |
<colors> | |
<option name="ADDED_LINES_COLOR" value="ffdffc" /> | |
<option name="ANNOTATIONS_COLOR" value="bfbfbf" /> |
package ex; | |
import java.io.IOException; | |
import java.io.PrintWriter; | |
import javax.servlet.Servlet; | |
import javax.servlet.ServletException; | |
import javax.servlet.annotation.WebServlet; | |
import javax.servlet.http.HttpServlet; | |
import javax.servlet.http.HttpServletRequest; |
FileEditorManagerEx ex = FileEditorManagerEx.getInstanceEx(element.getProject()); | |
VirtualFile file = ex.getCurrentFile(); |