LHazy

# !!!注意!!!:
#   このスクリプトはCドライブ配下のファイル・フォルダを探索するため「システムに負荷がかかる場合があります」
#   実行は自己責任でお願いします。
# 使い方:
#   powershell -ExecutionPolicy Bypass -File .\Scan-Bundle.ps1 <start_directory>

param(
  [Parameter(Mandatory = $true)]
  [string]$TargetDirectory
)

LHazy

enum LogCategory {
    Audit
    Signin
}

enum Sevirity {
    High
    Medium
    Low
}

LHazy

// npm install @aws-sdk/client-cognito-identity
import {
  AuthenticationDetails,
	CognitoUserPool,
	CognitoUserAttribute,
	CognitoUser,
} from 'amazon-cognito-identity-js';

var poolData = {
	UserPoolId: '', 

LHazy

# 使用は自己責任で、一切責任は負いません。
# このプログラムは個人の利便性と参考のために公開しています。
#
# 参考情報
# https://docs.microsoft.com/en-us/windows/desktop/power/power-policy-settings
# https://devblogs.microsoft.com/scripting/use-powershell-to-detect-power-state-and-to-set-power-plan/

$powerOptionMap = @{
    Balance = "381b4222-f694-41f0-9685-ff5bb260df2e";
    Presentation = "3c0b10d2-7404-4a8a-885f-1791a2c9a075";

LHazy

import structure Search   from "x-alice:/lib/gecode/Search"
import structure FD       from "x-alice:/lib/gecode/FD"
import structure Modeling from "x-alice:/lib/gecode/Modeling"
import structure Explorer from "x-alice:/lib/tools/Explorer"
open Modeling

fun search sp =
let
  val v as #[Dog,Cat,Horse,Sheep,Cow] = fdtermVec (sp, 5, [1`#9])
in

LHazy

.gitignore
\#*#
*~
*.vo
*.glob
*.v.d

LHazy

(define (ksnctf-q2-decode str)
  (define (decode c)
    (let ((s (x->string c)))
      (if (rxmatch #/[a-zA-Z]/ s)
	  (if (rxmatch #/[a-mA-M]/ s)
	      (integer->char (+ (char->integer c) 26 -13))
	      (integer->char (- (char->integer c) 13)))
	  c)))
  (list->string (map decode (string->list str))))