serihiro

import os
import time
import random
import digdag

class ParamSet(object):
    def set_param(self):
        time.sleep(int(os.environ['sleep']))
        digdag.env.store({'value': os.environ['value']})
        print(f"{os.environ['value']} finished")

serihiro

/******************************************************************************************
 Copyright (C) 2008 Niklas Sondell, Storm Weather Center
 This file is part of wgrib2 and could be distributed under terms of the GNU General Public License

*/

#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include "grb2.h"

serihiro

1. GlusterFS3.12のインストール

yum -y update
yum -y install centos-release-gluster312
yum -y install glusterfs gluster-cli glusterfs-libs glusterfs-server
yum clean all

2. glusterdのサービス起動

serihiro

マトロイドは独立集合っていうけど

• M(E,τ)がマトロイドだとして、X,Y∈τ かつ |X|<|Y| ならある e∈Y∖X が存在して X+e∈τ の説明でよく「独立集合」って使われるけどそれはなんやねん
• ベクトルマトロイドで考えると、線形独立なベクトルの集合ということで説明がつくらしい
• 線形独立ならギリギリ分かるで！ https://mathtrain.jp/linearlyindep

serihiro

import numpy  as np

test_a = np.array([
    [1, 2, 3, 4, 5, 6],
    [7, 8, 9, 10, 11, 12],
    [13, 14, 15, 16, 17, 18],
    [19, 20, 21, 22, 23, 24],
    [25, 26, 27, 28, 29, 30],
    [31, 32, 33, 34, 35, 36],
])

serihiro

tlmgrで latexindent をinstall

sudo tlmgr option repository ctan
sudo tlmgr update --self
sudo tlmgr install latexindent

latexindentを実行しようとしたらperlの依存ライブラリが足りてないためにエラーになるのでcpanで色々いれる

serihiro

sudo ln -s /usr/local/Cellar/ghostscript/9.23/share/ghostscript/9.23/Resource /usr/local/texlive/texmf-local/dvipdfm
sudo mktexlsr

serihiro

if ARGV.empty?
  puts 'Usage: ruby md2pukiwiki.rb input.md'
  exit 1;
end    

input = File.open(File.expand_path(ARGV[0], File.join(__FILE__, '../'))).read rescue ''
output = input.gsub(/\[(?<text>.+)\]\((?<url>.+)\)/,'[[\k<text>>\k<url>]]').gsub('#', '*').gsub('    ', '-')

puts output

serihiro

• Save Action

serihiro

Host bitbucket.org
    User git
    Hostname bitbucket.org
    identityfile ~/.ssh/bitbucket.org
    Port 22
    TCPKeepAlive yes
    IdentitiesOnly yes

Host github.com
    User git