���w�́u���v�i�������j�Ƃ͂ǂ��������Ƃ��H�@�pICL���������\�@�u�R���s���[�^�̓o��Œ�`���B���Ɂv �F Innovative Tech
» 2024�N06��10�� 08��00�� ���J
���̃R�[�i�[�ł́A2014�N�����[�e�N�m���W�[�̌�����_���P�ʂŋL���ɂ��Ă���Web���f�B�A�uSeamless �v�i�V�[�����X�j����ɂ���R���T�B�������M�B�V�K���̍����Ȋw�_�����R�������s�b�N�A�b�v���A�������B
X�F ��shiropen2
�@�p�C���y���A���E�J���b�W�E�����h���iICL�j�̋����ł���A���w�҂̃P�r���E�o�U�[�h����̒P���_���uGrothendieck�fs use of equality �v�́A���w�҂������̊T�O���ǂ̂悤�Ɏg�p���Ă��邩�A�����Ă��ꂪ���w�̌`���������݂�ۂɂǂ̂悤�ȉe����^���邩�ɂ��ċc�_���������ł���B
�@�o�U�[�h����́u����A���w�҂͓����̊T�O��B���Ɏg���Ă���A�ߔN�̃R���s���[�^�v���O�����ɂ��ؖ��i�`�����j�ɂ����Ă��̞B��������Q�ɂȂ��Ă���v�Ǝw�E����B
���w�́u���v�i�������j�Ƃ͂ǂ��������Ƃ��H
�@�u���v�i�����j�ɂ݂��ʓI�ȓ����̒�`�́A���ӂ��������w�I�Ώۂ�\���Ă���A������瑼���ւ̘_���I�ȕϊ��ɂ���ďؖ��ł�����̂ł���i�`���I�ȓ����j�B���ς��n�߂��̂́A���㐔�w�̂قƂ�ǂ̘_���I��b�����W���_�����W���Ă���ł���B�W���_�̔��W�ɔ����A�����̐V������`���������ꂽ�B
�@����́u2�̏W���������v�f���܂�ł���Γ������v�Ƃ������̂ł���B�Ⴆ�u1, 2, 3�v�Ɓu3, 2, 1�v�Ƃ����W���͓������B�Ȃ��Ȃ�A�W���̗v�f�̏��Ԃ͏d�v�ł͂Ȃ�����ł���B����ɁA���w�҂�2�̏W���������v�f���܂�ł��Ȃ��Ă��A�����̊Ԃɖ��炩�ȑΉ��W�i���^�ʑ��j������Γ������ƌ��Ȃ����Ƃ�����B
�@���̂悤�ȓ����̞B���Ȓ�`�́A���w�҂��ؖ����s���ۂ�_���������ۂɂ͖��ɂȂ�Ȃ����i��������Ӗ���������j�A�R���s���[�^���g���ďؖ����`�F�b�N����ۂɂ͖��������N�����B�R���s���[�^�v���O�����͌����Ő��m�Ȏw����K�v�Ƃ��邽�߂ł���B
�@���̖����������邽�߂ɁA���w�҂̒��ɂ́u���w�̊�b���Ē�`����悢�v�Ǝ咣����l������B�����̊T�O�����鎎�݂��n�܂��Ă��邪�A���w�̊�b���Ē�`����͔̂��ɍ�����ɂ߂�B
�@����ŁA�_�����҂ł���o�U�[�h����́A�����I�ɂ́A�R���s���[�^�ؖ��̐��w���C�u�������[�����邱�ƂŁA���w�҂������̌����ȈӖ����C�ɂ����ɍςނ悤�ɂȂ邩������Ȃ��Ƃ����B���w�҂��悭�����炸�����I�ȓ����̎g�����������Ƃ��Ă��A�V�X�e�����������ĕs�����w�E���Ă����悤�ɂȂ邩��ł���B
�@�o�U�[�h����́u�R���s���[�^�x���ɂ��`�������i�ނ��ƂŁA���w�ɂ����铙���̊T�O�I��肪���������\��������v�ƌ��ʂ��Ă���B
�_���̃g�b�v�y�[�W
Source and Image Credits: Buzzard, Kevin. �gGrothendieck�fs use of equality.�h arXiv preprint arXiv:2405.10387�i2024�j.
Copyright © ITmedia, Inc. All Rights Reserved.
';
e_dlv.innerHTML = html;
adRequest({position:dlv_pos,dom:true});
}else if(ad_type === 'gam'){
var html = '
';
e_dlv.innerHTML = html;
refreshGam('InArtSpecialLink');
}else if(ad_type === 'logly'){
var html = '
';
e_dlv.innerHTML = html;
loglySet(g_id);
}else if(ad_type === 'google'){
var html = '
';
e_dlv.innerHTML = html;
googletag.cmd.push(function(){
var slot8 = googletag.defineSlot('/43042345/nlab_artinsert_RT',[[336,280],[300,250],'fluid'],'div-gpt-ad-1551176482959-0').addService(googletag.pubads());
googletag.pubads().enableSingleRequest();
googletag.enableServices();
googletag.display('div-gpt-ad-1551176482959-0');
googletag.pubads().refresh([slot8]);
});
}
};
var insert_ok = function(_target,_str){
var clearfix = d.createElement('div');
clearfix.className = 'colBoxClear';
if(ad_float_fix){
e_body.insertBefore(e_dlv,_target);
e_body.insertBefore(clearfix,_target.nextElementSibling);
}else{
e_body.insertBefore(e_dlv,_target);
}
set_dlv();
};
var insert_ng = function(_str){
e_dlv.style.display = 'none';
};
var main = function(){
var e_nodes = e_body.childNodes; // BODY �����q�v�f
var e_tags = []; // BODY �����^�O
var p_num = []; // BODY ���� P �^�O�ʒu
var p_target_num; // �g�}����ʒu
var o_float = {}; // ��荞�ݗv�f
var o_this = {}; // �A�N�e�B�u�^�O
var o_next = {}; // �A�N�e�B�u�^�O�̎��̃^�O
var flag_insert = 0; // �}���t���O
// ��荞�ݗv�f�`�F�b�N
var check_float = function(_e){
var e = 0;
if(_e.id.match(/^col\d{3}(l|r)$/)){
e = _e;
}
return e;
};
// �v�f�� Y ���W�ƍ����̍��v�l
var get_element_y = function(_e){
var ey = 0;
var eh = _e.offsetHeight;
while(_e){
ey += _e.offsetTop;
_e = _e.offsetParent;
}
return ey + eh;
};
var check_ptag = function(_e){
var e = 0;
if(_e.tagName && _e.tagName === 'P'){
e = _e;
}
return e;
};
var try_insert = function(){
p_target_num = Math.floor(p_num.length / 2) - 1;
if(p_target_num >= _maxrange) p_target_num = _maxrange;
if(dis_con) p_target_num = 0;
for(var i = p_num[p_target_num]; i < e_tags.length; i++){
o_this.e = check_ptag(e_tags[i]);
if(o_this.e){
o_next.e = check_ptag(e_tags[i + 1]);
if(o_next.e){
if(!o_float.e || check_float(e_tags[i - 1])){
o_float.e = check_float(e_tags[i - 1]);
o_float.n = i - 1;
}
if(o_float.e && o_float.n < i + 1){
o_float.y = get_element_y(o_float.e);
o_this.y = get_element_y(o_this.e);
set_line(o_float.y,'red');
set_line(o_this.y,'blue');
if(o_float.y < o_this.y){
flag_insert = 1;
insert_ok(o_next.e,_threshold + ' �p���ȏ��荞�݂���');
break;
}
}else{
flag_insert = 1;
insert_ok(o_next.e,_threshold + ' �p���ȏ��荞�݂Ȃ�');
break;
}
}
}else{
o_float = {};
}
}
if(!flag_insert){
insert_ng('�}���ʒu�Ȃ�');
}
};
// �S�q�v�f����^�O�̂ݔz��ɓ����
for(var i = 0; i < e_nodes.length; i++){
if(e_nodes[i].tagName){
e_tags.push(e_nodes[i]);
}
}
// �S�^�O���� P �^�O�ʒu��z��ɓ����
for(var i = 0; i < e_tags.length; i++){
if(e_tags[i].tagName === 'P') p_num.push(i);
// �ŏ��̉�荞�ݗv�f���i�[
if(!o_float.e){
o_float.e = check_float(e_tags[i]);
o_float.y = get_element_y(o_float.e);
o_float.n = i;
}
}
if(p_num.length >= _threshold){
try_insert();
}else{
insert_ng('P �^�O ' + _threshold + ' �ȉ�');
}
};
if(e_body){
main();
}else{
insert_ng('�L���{���Ȃ�');
}
})(document,4,5);