Skip to content

Instantly share code, notes, and snippets.

View ytakano's full-sized avatar

ytakano ytakano

123 followers · 48 following
View GitHub Profile
@ytakano
ytakano / Publications.md
Last active April 23, 2024 01:50
Yuuki Takano - Publications

特許

  1. 津田 侑, 遠峰 隆史, 金谷 延幸, 安田 真悟, 高野 祐輝, 井上 大介, 中尾 康二, 特許第7045050号, 通信監視システム及び通信監視方法, https://www.j-platpat.inpit.go.jp/c1800/PU/JP-2019-097133/27C04BE6D18C609BC2C11EEA7AC102862B8AA15C73F57FFCA98CF05BBC942A56/11/ja
  2. 井上 朋哉, 高野 祐輝, 三輪 信介, 特許第6888234号, 検索装置, 検索プログラム, 及び検索方法, https://www.j-platpat.inpit.go.jp/c1800/PU/JP-2018-196075/1DBFCF60F61A776FC3861BC2798280436641AEA5848B00F6CBAEEE49CD1F84D7/11/ja

Book

  1. 高野 祐輝, "ゼロから学ぶRust", 講談社, Dec. 2022.
  2. 高野 祐輝, "並行プログラミング入門", オライリー・ジャパン, Aug. 2021.
  3. Akinori Kawachi, Atsuko Miyaji, Kazuhisa Nakasho, Yiying Qi, and Yuuki Takano, "Secure primitive for big data utilization", In Atsuko Miyaji and Tomoaki Mimoto, editors, "Security Infrastructure Technology for Integrated Utilization of Big Data - Applied to the Living Safety and Medical Fields", Springer, pp.35–63, April 2020.
@ytakano
ytakano / Publications_en.md
Last active April 23, 2024 01:48

Refreed Papers

  1. Sai Veerya Mahadevan, Yuuki Takano, and Atsuko Miyaji, “PRSafe: A Domain Specific Language Created with LLVM”, IPSJ, Electronic Preprint for Journal of Information Processing Vol.32, Feb. 2024
  2. Yuuki Takano, "Deadlock- and Starvation-free Formally Verified Client Library for Robots", The 7th International Conference on System Reliability and Safety, ICSRS 2023, [PDF]
  3. Atsuko Miyaji, Kaname Watanabe, Yuuki Takano, Kazuhisa Nakasho, Sho Nakamura, Yuntao Wang, and Hiroto Narimatsu, "Privacy-Preserving Distributed Medical Data Integration Security System for Accuracy Assessment of Cancer Screening: Development Study of Novel Data Integration System", JMIR Preprints, https://preprints.jmir.org/preprint/38922, Nov. 2022.
  4. Sai Veerya Mahadevan, Yuuki Takano, Atsuko Miyaji, "PRSafe: Primitive Recursive Function based Domain Specific Lan
@ytakano
ytakano / Dockerfile
Created December 11, 2023 01:11
OpenBSD src
FROM httpd:2.4
ARG TITLE="OpenBSD"
ARG GIT=https://github.com/openbsd/src.git
#RUN sed -i 's/deb\.debian\.org/ftp\.jaist\.ac\.jp\/pub\/Linux/g' /etc/apt/sources.list
RUN apt-get -y update && \
apt-get -y upgrade && \
apt-get install -y tzdata
@ytakano
ytakano / epubVertical.sh
Last active November 16, 2023 05:15
横書きのepubファイルを縦書きに変更するスクリプト
#!/usr/bin/env sh
if [ $# -ne 1 ]; then
echo "need epub file!" 1>&2
echo "example:" 1>&2
echo " $ $0 ebook.epub" 1>&2
exit 1
fi
FILE=`basename "$1" .epub`
@ytakano
ytakano / rtm_test.c
Created April 10, 2015 10:32
Intel TSX RTM
#include <stdio.h>
int main()
{
volatile int i = 0;
while (i < 100000000) {
asm ("xbegin ABORT");
i++;
asm ("xend");
asm ("ABORT:");
@ytakano
ytakano / bib
Last active April 15, 2022 09:34
略歴
名前：高野 祐輝
現在の職：株式会社ティアフォー 技術本部 勤務
2001.3 石川工業高等専門学校　電気工学科　卒業
2003.3 石川工業高等専門学校　専攻科　電子機械工学専攻　修了
2005.3 北陸先端科学技術大学院大学　情報科学研究科　博士前期課程　修了
2011.3 北陸先端科学技術大学院大学　情報科学研究科　博士後期課程　修了
2011.4-2012.3 北陸先端科学技術大学院大学　高信頼ネットワークイノベーションセンター　研究員
2012.4-2014.3 情報通信研究機構　ネットワークセキュリティ研究所　セキュリティアーキテクチャ研究室　研究員
2013.12-2014.3 北陸先端科学技術大学院大学　高信頼ネットワークイノベーションセンター　研究員
@ytakano
ytakano / monoid.md
Created January 25, 2022 15:21

モノイド

trait Monoid
where
    Self: PartialEq + std::fmt::Debug + Sized + Clone,
{
    const E: Self; // 単位元

    /// 乗算演算。self * rhs。 Self x Self -> Self
@ytakano
ytakano / corpus.py
Created December 13, 2019 06:33
corpus
corpus = ['abed', 'abet', 'abets', 'abut', 'acme',
'acre', 'acres', 'actors', 'actress', 'airmen',
'alert', 'alerted', 'ales', 'aligned', 'allergy',
'alter', 'altered', 'amen', 'anew', 'angel',
'angle', 'antler', 'apt', 'bade', 'baste',
'bead', 'beast', 'beat', 'beats', 'beta',
'betas', 'came', 'care', 'cares', 'casters',
'castor', 'costar', 'dealing', 'gallery', 'glean',
'largely', 'later', 'leading', 'learnt', 'leas',
'mace', 'mane', 'marine', 'mean', 'name',
@ytakano
ytakano / installfstar.md
Last active December 11, 2019 04:40
Installation of F star

Install F* on Ubuntu Linux

Install Opam

See below if you you use ubuntu 19.04

$ sudo apt install opam
$ opam init
$ eval `opam config env`
@ytakano
ytakano / .zshenv
Last active May 2, 2018 04:50
zshの設定ファイル
export TERM=xterm
#export PROMPT="%n@%m %#> "
export RPROMPT='[%~]'
export PATH=/homebrew/bin:/homebrew/sbin:/bin:/sbin:/usr/bin:/usr/sbin:/usr/local/bin:/usr/local/sbin:/usr/X11R6/bin:/usr/local/texlive/2015/bin/x86_64-darwin
export LD_LIBRARY_PATH=/homebrew/lib:/lib:/usr/lib:/usr/local/lib:/usr/X11R6/lib
export LIBRARY_PATH=$LD_LIBRARY_PATH
export C_INCLUDE_PATH=/homebrew/include:/usr/include:/usr/local/include:/usr/X11R6/include
export CPLUS_INCLUDE_PATH=$C_INCLUDE_PATH
export MANPATH=$MANPATH:/homebrew/share/man:/usr/share/man:/usr/local/man
export HISTFILE=$HOME/.zsh_history